)]}'
{
  "commit": "b65121794a9db64414a3e8092ff0bd8be45b728e",
  "tree": "a081bab9c49a7a463dae990e224bc73665c85018",
  "parents": [
    "0694731af8c259972a35720db1ad6bbb67ad5fbe"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 24 10:23:44 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 24 10:51:10 2022 +0100"
  },
  "message": "fix: save correct environment in info tree for `example`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c912f16d160800e3c38ff09193ade48c28a5a583",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "f9df6b46e5f98c87c7c5b4d757f4eab4fd07c29f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "c06d329b9941c6ea13b227c1772a80abfecca3ef",
      "old_mode": 33188,
      "old_path": "tests/lean/1018unknowMVarIssue.lean.expected.out",
      "new_id": "19ace5a30d2c5381c6079df85312761cf61c41ab",
      "new_mode": 33188,
      "new_path": "tests/lean/1018unknowMVarIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d7e10d5929b7d512d20e6c54a66d7cfee5e895ca",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean",
      "new_id": "5e76ce9f7b04f6d0f20776608008a0855ff8794f",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean"
    },
    {
      "type": "modify",
      "old_id": "09c73726c6f4b428554e0a78b77145016b2edba6",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean.expected.out",
      "new_id": "8ca74f8449c42c89149e7199b523f8d2be447df7",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean.expected.out"
    }
  ]
}