)]}'
{
  "commit": "b4b4f72d89244891499b9b0bdfefeb9373c97b44",
  "tree": "b041515ff8fbe3a2c488e256589a5ca1e21bcef4",
  "parents": [
    "ca25434c15a7aa9e270fda14c864d2f02c1a5fc4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 01 13:53:19 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Dec 01 13:56:34 2022 +0100"
  },
  "message": "chore: info tree format should not leak hygiene IDs\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "57dc8691cad2b7daebaf41c22b88828a6a478e39",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree/Main.lean",
      "new_id": "5e066d8d3d11dfca70e5934feff54b46755bbd82",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "19ace5a30d2c5381c6079df85312761cf61c41ab",
      "old_mode": 33188,
      "old_path": "tests/lean/1018unknowMVarIssue.lean.expected.out",
      "new_id": "f05708d0fbcbdfb5a2134b3f58ce7b9ef9d1795d",
      "new_mode": 33188,
      "new_path": "tests/lean/1018unknowMVarIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "0bce221527c93cbd09a4083f1be5ff6824eba4c9",
      "old_mode": 33188,
      "old_path": "tests/lean/binopInfoTree.lean.expected.out",
      "new_id": "7e541d60328a7e47f2e806132dbca89a1bab9ccc",
      "new_mode": 33188,
      "new_path": "tests/lean/binopInfoTree.lean.expected.out"
    }
  ]
}