)]}'
{
  "commit": "54c366f3d7a555a9a89476c40cb5ccca18b86e05",
  "tree": "f015019a9a62c526bdce0e78ac260f0c34cf001a",
  "parents": [
    "81f5b07215b077f9b5be677f8689617512d3322c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 04 11:08:03 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 04 11:10:44 2024 +0200"
  },
  "message": "fix: incorrect info tree reuse\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bd662881904b1bc183cd0393cb8d08ac08d3f0e1",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "a5c6ebee6832243219a361a796b81b477d38d236",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "87f4ccfac6e6c6f013953d1a7c9b373f1fc3efa7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "87bc6483903bad85bec1ba23c5f561a2d64a091b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "499f5b9af2181f18016fc46d47ef58e91089c01d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Basic.lean",
      "new_id": "0a51e0ec26c1950ef17e25f52f361def1a63be6d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c0731a7125b5f64fa37d8b9840d929cd4d1f7efc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean",
      "new_id": "b9c9ddfc0dd8e417dc967e70277f1c2585cc50fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean"
    },
    {
      "type": "modify",
      "old_id": "235485b99c8db78f22d7a126909e564f4455e14a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "be034448909ba2a84e77c7f423317622d85692c0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "ad6b0f36c0279f5074025566e43ebe5974065824",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "efd77359d860d761cd2bdfcabff6942a52b64be3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "bef3cb010a805028b2df15708784a464e8a75441",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/incrementalMutual.lean",
      "new_id": "eaddd9b9b77670f45a7ce95e5ad1d3ea9c25f104",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/incrementalMutual.lean"
    },
    {
      "type": "modify",
      "old_id": "c6fb189472ddbc402567f6448fb3edad6411433d",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/incrementalMutual.lean.expected.out",
      "new_id": "c3f9a4297c1e46aa2d6e546f92eae8a375139b1b",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/incrementalMutual.lean.expected.out"
    }
  ]
}