)]}'
{
  "commit": "73089a33ea4ddc8a43670bcc970731c39277d23b",
  "tree": "6ef559ac973160ad0b4c337d516a87d479375faa",
  "parents": [
    "949cf6924649a3ad3aa934ee4466438bd6994064"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Mon Dec 15 10:13:09 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Mon Dec 15 10:13:09 2025 -0500"
  },
  "message": "refactor: remove error message explanations from extension\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b6cf62a9c002f61345386d5151d120697b515fab",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/ErrorExplanation.lean",
      "new_id": "50360fe2b3dbfc32cd533476efeae9af31810e04",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/ErrorExplanation.lean"
    },
    {
      "type": "modify",
      "old_id": "4bb7fced2142cb4e07e9242f75a9b1aabbe6d9ea",
      "old_mode": 33188,
      "old_path": "src/Lean/ErrorExplanation.lean",
      "new_id": "9e35b3606019ed5b63a0fe7c6c0341e181a66092",
      "new_mode": 33188,
      "new_path": "src/Lean/ErrorExplanation.lean"
    }
  ]
}