)]}'
{
  "commit": "2bbe0337ad0dd74d44785dd7db1e71e6cb6db3a5",
  "tree": "1c4efa854e8ff001da0116b4f947f56aafe09a80",
  "parents": [
    "9ab5f0376e52ba0901aae9a39332c97b839db162"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jan 18 18:13:06 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jan 18 18:13:06 2022 +0100"
  },
  "message": "fix: hover etc. on complex declaration name\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fc17f88ef98d65bb7c8ed202dc0c84677f7ffd6f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Declaration.lean",
      "new_id": "3e744c64ec6dabb3e84939694bbe16d22a62d439",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Declaration.lean"
    },
    {
      "type": "modify",
      "old_id": "ddca593abebac1c29c70695d39f5b1555dbb952b",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean",
      "new_id": "1217ec022a7a37fd46445abc73a38898cb000172",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean"
    },
    {
      "type": "modify",
      "old_id": "416cb34bee8fa5d1020db8ad50a84833fe47d293",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean.expected.out",
      "new_id": "06e34dd5d265a18b874d2c8a6dc9c9c2b2e468a8",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean.expected.out"
    }
  ]
}