)]}'
{
  "commit": "f91b2c5d82f973d613d487f14f348fab93ee5b37",
  "tree": "76b5c5dbd43db83dab1840fc64eb749d244a05b0",
  "parents": [
    "73b06718a0218684accf3441552902f150625ab3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 15 19:22:49 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 15 21:54:12 2021 +0200"
  },
  "message": "feat: term info on `where` declarations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "948617c2106c713e61d374c5c6691e9cd5f29806",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/LetRec.lean",
      "new_id": "c4f79476de35a8bc477f9687410288471ec78dbc",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/LetRec.lean"
    },
    {
      "type": "modify",
      "old_id": "c90a7b9c9dce3e3b5f211469a53d27f6208ea56e",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/goTo.lean",
      "new_id": "edfaa7bdff374ab7935513eee1160dca496736d2",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/goTo.lean"
    },
    {
      "type": "modify",
      "old_id": "0e559e5c6923b86638e9b6d25d52c65fab29f9eb",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/goTo.lean.expected.out",
      "new_id": "6d9baf3c1528b1ba875eee4a476ee52b10145e11",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/goTo.lean.expected.out"
    }
  ]
}