)]}'
{
  "commit": "864b0d77791e861bf1c8ecc75a99e8c9ddba178b",
  "tree": "a52da8e4f6658271427fbfefb0d52c89ca12d4cf",
  "parents": [
    "cee84286e6a6c2716aac8ddcdb552e830f760033"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 25 17:10:17 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Aug 25 17:14:27 2024 -0700"
  },
  "message": "fix: PANIC at `Lean.MVarId.falseOrByContra`\n\ncloses #4985\ncloses #4984\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7e03d23244ea7c498b43c43c11ec6fe5bafe1b8b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/FalseOrByContra.lean",
      "new_id": "2b903d99c8bd0c2fe6ff6ed216698b1c4e2e2ed2",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/FalseOrByContra.lean"
    },
    {
      "type": "modify",
      "old_id": "9c20975a69b14e2e55eb82e7f556360cf2465303",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean",
      "new_id": "a8b60edfed0f6718d52277c72c47c1e4c7675565",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b33128803353b6c0cd8d665873614af8ed865f94",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4985.lean"
    }
  ]
}