)]}'
{
  "commit": "30278e8aeb50f3b508aaff98d4a0da1f0582951d",
  "tree": "3b04ff8f8ae75acc2b89184671a23c10b2867717",
  "parents": [
    "8649483b416ec9d919c380d657ceedf8184ed527"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 03 11:08:02 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 03 11:08:02 2022 +0200"
  },
  "message": "feat: show expected type on/after `:\u003d` of `let`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c157d456d44f0c6b32caff699f0c3932146b3a85",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Binders.lean",
      "new_id": "7611a7e5dd26ba32a8e099095f683a9d3385640b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Binders.lean"
    },
    {
      "type": "modify",
      "old_id": "18e45b3470de6d7e2fb8f6b8630a2ce0d85dfbed",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "1b1a85b1c1455224d62dca40d162899c39fa169f",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    }
  ]
}