)]}'
{
  "commit": "a7f8e8d473c2898bd8a1fc6c809043a12ace5567",
  "tree": "f921a98f9628dab256b8508c8c6d00024dd406a7",
  "parents": [
    "5f1c4df07db4adcf4a72f9f7bf00c2a0a6939a61"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu May 02 15:32:43 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Thu May 02 15:32:43 2024 +1000"
  },
  "message": "chore: report used instances correctly in diagnostics\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "baf77a8ef358996feb6213e3f1683335da525b1b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Diagnostics.lean",
      "new_id": "1bf034fe42963284aac4402b67b3faa0066ef9f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Diagnostics.lean"
    }
  ]
}