)]}'
{
  "commit": "ef55c2d3bbfcb147c1051626e40b2625e965faa8",
  "tree": "94de4758dd14953566cf3d5de1585ef30e5e810f",
  "parents": [
    "7e00fbfcd2c968c01650cc9be573d6f0cc657e73"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Mar 02 07:53:34 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Mar 02 07:53:34 2024 -0800"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "401dd1b3a12d0cfecac88505cceb46baee663ba4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Do.c",
      "new_id": "4ce71a0b19805c6c3ec264d27ab9920e74ba16b0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Do.c"
    },
    {
      "type": "modify",
      "old_id": "28e55a0976d02594e47030899443ddd3237557fb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MatchExpr.c",
      "new_id": "e69165fc20d679fb66de2b3a9391f6907cb79115",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MatchExpr.c"
    }
  ]
}