)]}'
{
  "commit": "3355a10d0136a4018422cc22ef947808552ff5c5",
  "tree": "e3fa25d10bbde2489e7d8678f76a38b5158559be",
  "parents": [
    "10cab049456a1c467d92945bf039838753419541"
  ],
  "author": {
    "name": "Anne C.A. Baanen",
    "email": "vierkantor@vierkantor.com",
    "time": "Fri Sep 12 14:23:54 2025 +0200"
  },
  "committer": {
    "name": "Anne C.A. Baanen",
    "email": "vierkantor@vierkantor.com",
    "time": "Fri Sep 12 14:23:54 2025 +0200"
  },
  "message": "Fix typo\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4c235a6596f3c2f5313949905f2feb995dacc31b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Classical.lean",
      "new_id": "6abca3eecc9fa2734b7c31322ca5d9332b6eaa2c",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Classical.lean"
    }
  ]
}