)]}'
{
  "commit": "422066ee4e4ce71ef2f05897da19fc83b1b357d7",
  "tree": "d2cb743128b2a774dc80284de313b257e4a2974a",
  "parents": [
    "52c97e7beebd4b24f3c44422019cc6b87975aa8b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Dec 10 16:49:04 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Dec 10 22:45:35 2019 +0100"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d403d696540a8d693b09aca260958f3d18336749",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Lean/Elab/Quotation.lean"
    },
    {
      "type": "modify",
      "old_id": "b49530b55bf5679ea92ccb4348a823064c9efda7",
      "old_mode": 33188,
      "old_path": "stage0/src/Init/Lean/Elab/Term.lean",
      "new_id": "49e61174bb0fd15437d5cf90508d756fcbe03dc4",
      "new_mode": 33188,
      "new_path": "stage0/src/Init/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "b24afc9b84520eec036aaf8517dc74358bad5e81",
      "old_mode": 33188,
      "old_path": "stage0/src/frontends/lean/builtin_exprs.cpp",
      "new_id": "682e39e1212b36c97c9ebaf5f0228132af252ac7",
      "new_mode": 33188,
      "new_path": "stage0/src/frontends/lean/builtin_exprs.cpp"
    },
    {
      "type": "modify",
      "old_id": "8fa80cbf2791397ede4308e790e946e904501491",
      "old_mode": 33188,
      "old_path": "stage0/src/frontends/lean/scanner.cpp",
      "new_id": "e34287f04570cfd8326dcb3e2523c44b11ace3d5",
      "new_mode": 33188,
      "new_path": "stage0/src/frontends/lean/scanner.cpp"
    },
    {
      "type": "modify",
      "old_id": "17eaebd75b0d0153352c6f7f0584b5f721219812",
      "old_mode": 33188,
      "old_path": "stage0/src/frontends/lean/scanner.h",
      "new_id": "4eae453eab7bd506a8bc892a092228ec20448ad8",
      "new_mode": 33188,
      "new_path": "stage0/src/frontends/lean/scanner.h"
    },
    {
      "type": "modify",
      "old_id": "d28bc34d34afeab3ff8b1dd4c4dca0e990396475",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/CMakeLists.txt",
      "new_id": "ed17ff6452c3047ea22f945504dbf3481a75d63c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/CMakeLists.txt"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e54225b593819613f41befc02a6072afe0b79019",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Quotation.c"
    },
    {
      "type": "modify",
      "old_id": "f7b1981e1199647c3e3e78281cb89fd026e42084",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/Term.c",
      "new_id": "6d61ac2595d8b7a3b2bb8af81a24aa3b67e3c7be",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Term.c"
    }
  ]
}