)]}'
{
  "commit": "aeb20af30b5c6839e7c72a4b996cf3ebbfdb4fcb",
  "tree": "ab60cf1da831849e5437f7b03a5c985260149c0c",
  "parents": [
    "488bfe2128a1c5ff0e96c45cf6a382655dc7c703"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 11:20:00 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 11:22:52 2024 -0800"
  },
  "message": "fix: `nomatch` regression\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a86a34ba206c9f845b9115b6aab61cb1f5825adc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Match.lean",
      "new_id": "016d5f8d5d1cd801e332474f7c274d73d942a12a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Match.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "cb012c8f369b0d56218f647757f4c04d5515e725",
      "new_mode": 33188,
      "new_path": "tests/lean/run/nomatch_regression.lean"
    }
  ]
}