)]}'
{
  "commit": "b57725345ca4b9a49ac120b7824159683fcc85dc",
  "tree": "434c64c4abd6b4c5732fd2caf82ae605189e4ba0",
  "parents": [
    "09670c64ef3ae1bbf264c8a6eceacf21d46178f7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 26 17:11:14 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 26 18:15:37 2021 +0100"
  },
  "message": "feat: refine declaration ranges at `instance` \u0026 `example`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cebb5b11338055c64441422f06eca08b819dff78",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/DeclarationRange.lean",
      "new_id": "8d11137fd89fcfd31b9885e829c060020fb0811d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/DeclarationRange.lean"
    },
    {
      "type": "modify",
      "old_id": "b0220ca4427d8be318e616040fed3d038907a050",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean",
      "new_id": "580c7cc8efa2c4b1db151beb19ee90e19e6bc5d2",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean"
    },
    {
      "type": "modify",
      "old_id": "35349cf05af4f6dc9e61a28cd33151197d3bda24",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/hover.lean.expected.out",
      "new_id": "5df3cf0caf462ffb821a629b8574ea77225bd7e1",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/hover.lean.expected.out"
    }
  ]
}