)]}'
{
  "commit": "bf209cc949ced689cecc07c9ec93da709002c765",
  "tree": "bc5b74851d84f1d35b25f0acd67550cdddaad692",
  "parents": [
    "057bf2e7e862b38535dded3b93e5995c1a15189e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat May 07 22:50:29 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat May 07 22:51:45 2022 +0200"
  },
  "message": "fix: connect occurrences of mutable variable inside and outside `for` in info tree\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2e05573bd8f0dc363feac2cec257bfb8197faa18",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Do.lean",
      "new_id": "f3b2680ba5eb02ab8e7acf39dca9e185df237e98",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Do.lean"
    },
    {
      "type": "modify",
      "old_id": "19983d370a194d9029bafeb52e8d9b6354368e25",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/highlight.lean",
      "new_id": "df00ee3100a7233ec201657dac5046a8899b64a5",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/highlight.lean"
    },
    {
      "type": "modify",
      "old_id": "57e76ab4974b56469bcaf7659eec98237ec3ccfa",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/highlight.lean.expected.out",
      "new_id": "777450ed75c5b1ff675a859c9dfaf86530c98400",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/highlight.lean.expected.out"
    }
  ]
}