)]}'
{
  "commit": "08152612f1770310d11dcae3566d5536863400ec",
  "tree": "08768ba153b40a69c0dac197313bb0df55e60b7c",
  "parents": [
    "0ec56c3367c74d2c0444b8b758f3439c21e34bf9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 04 19:24:28 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 04 19:28:00 2022 +0200"
  },
  "message": "fix: do not show inaccessible variable in hover\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b31b8389aa8b29fbfe69fc52ddf318c82471bd06",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "2bd0feddfc1c8e69b5a0b541c66cc5e825b2dee2",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    },
    {
      "type": "modify",
      "old_id": "7c6daabf88d411579a71da11214c049ad1ee2b89",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean",
      "new_id": "f9a80200c045c4ad9750b61a2e31dd0b4b31aa06",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean"
    },
    {
      "type": "modify",
      "old_id": "48e3a5d551ca44ba8f21bd9f332faec5baa97d30",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean.expected.out",
      "new_id": "713217a65c4bedecb7eccf73e059786a59fd779d",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "f58a84ace5ca0d3d529b99c02be7f257daf19631",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hoverBinderUndescore.lean.expected.out",
      "new_id": "197408417950db15f658d22d716c5acd941c2d77",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hoverBinderUndescore.lean.expected.out"
    }
  ]
}