)]}'
{
  "commit": "abc253fa0a8c1e98b6a1884e8ecb48aac9957c58",
  "tree": "b982135bebc973ecaa8cfbc1177ce4db0b9ffb26",
  "parents": [
    "bdce1a2a79606498c9cbd73a057f79eb2e7788e6"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 11:27:46 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 27 11:28:58 2021 +0200"
  },
  "message": "feat: improve `let` error locality\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ed928458715e4fdd513345d78f9f75f32c7801cc",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Binders.lean",
      "new_id": "1d4d4b8420054e3da74aa82598417c6b4b68bba7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Binders.lean"
    },
    {
      "type": "modify",
      "old_id": "a912c22107693168eba44bec507484299057cd88",
      "old_mode": 33188,
      "old_path": "tests/lean/have.lean",
      "new_id": "153d8b88ca29029adb800494a1f2004f0261ee61",
      "new_mode": 33188,
      "new_path": "tests/lean/have.lean"
    },
    {
      "type": "modify",
      "old_id": "8990ee34bb28b0d61ddedb18b529ab13a55dfa0d",
      "old_mode": 33188,
      "old_path": "tests/lean/have.lean.expected.out",
      "new_id": "d8be69cbefeef9c36478ab26b02a526f04b58090",
      "new_mode": 33188,
      "new_path": "tests/lean/have.lean.expected.out"
    }
  ]
}