)]}'
{
  "commit": "f9e65c116339971107e144f6ed48456463b80a70",
  "tree": "d7911589cb901263d7d15704951fe7c37c0b9a38",
  "parents": [
    "fa67f300f6352a8e1813c714474a282f89663445"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Tue Nov 25 13:40:59 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Tue Nov 25 13:40:59 2025 -0500"
  },
  "message": "Keep error explanations in sync\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5d7de963e1204f872049ff5dd04b0b8d1130ca3f",
      "old_mode": 33188,
      "old_path": "src/Lean/ErrorExplanations/DependsOnNoncomputable.lean",
      "new_id": "6b8904b7c89e7cb4fa07103981f0e2c7bf1b72d2",
      "new_mode": 33188,
      "new_path": "src/Lean/ErrorExplanations/DependsOnNoncomputable.lean"
    },
    {
      "type": "modify",
      "old_id": "64517b5fe6218957dc25a1191f5c02cf884fa2ef",
      "old_mode": 33188,
      "old_path": "src/Lean/ErrorExplanations/PropRecLargeElim.lean",
      "new_id": "d2d977d50c48ec18c2236d9693d3b0d03c408bec",
      "new_mode": 33188,
      "new_path": "src/Lean/ErrorExplanations/PropRecLargeElim.lean"
    },
    {
      "type": "modify",
      "old_id": "9169de98bb7f69ea89b2a97194f3fafe53b6455b",
      "old_mode": 33188,
      "old_path": "src/Lean/ErrorExplanations/UnknownIdentifier.lean",
      "new_id": "351a1f5c4488471418a4e7462f13755ab128d609",
      "new_mode": 33188,
      "new_path": "src/Lean/ErrorExplanations/UnknownIdentifier.lean"
    }
  ]
}