)]}'
{
  "commit": "00eea2663259dc3a2a7979ee37708923921c637a",
  "tree": "1c7fa26d7a96caaf3cc1e9d43f6af5746c238e98",
  "parents": [
    "2dbb13022d08608e9e2da96eba2923d4d2fdf9e0"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Feb 21 10:33:00 2024 -0800"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Feb 21 10:53:58 2024 -0800"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8afaa794e3f402f4a932331d8e2f048f7cee408b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/BitVec/Basic.c",
      "new_id": "2af9e9195478a62130dc9c5db821806307a2847f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/BitVec/Basic.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5edac29750d47579bb3b082038c2c81f576c2e10",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/CompletionName.c"
    },
    {
      "type": "modify",
      "old_id": "db90bb47168da9e3e02bccf06b61be4c21aeb6fb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c",
      "new_id": "9e8515222d4c6e15c86e59490ecc936578a66d41",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c"
    },
    {
      "type": "modify",
      "old_id": "7e0f6d118275aebd3ec04ea80d2e5e24ab471dcd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Completion.c",
      "new_id": "f026102816398b32ad729c1765b9c53c4864c4cd",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Completion.c"
    }
  ]
}