)]}'
{
  "commit": "36cf33747592a1b9b9ff15c784ae5994ed851349",
  "tree": "ac1bbb6356e75bf9c531b6bf6197b66964f9d892",
  "parents": [
    "12af1aa1233212a99e0a94555aa28a964f1ab71c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 03 14:45:59 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 03 14:46:54 2024 -0800"
  },
  "message": "fix: ensure `sorry` is available\n\nWe want to make sure we can use `debug.proofAsSorry` when compiling Lean.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c25f032328e24eb9249279dee30cc9682e5103cd",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "dae2f1fea891819822688b8d106b28b1dd67b4a0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    }
  ]
}