)]}'
{
  "commit": "7c3530abafaeb5ead69aa97f4cf26a3915ab799e",
  "tree": "58a39e1c737c107ff46a47b7f40bad060f844a05",
  "parents": [
    "9b223ba29234756750813e9e21cac4a989f66022"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 20 19:11:43 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 20 19:11:43 2020 +0200"
  },
  "message": "lol indexed parser\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3c5ccd40d826af9d91004707cf296f4eebc0ce92",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Parser/Level.lean",
      "new_id": "bf95f92de0c348b2f317b9c38453dd703ead849a",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Parser/Level.lean"
    },
    {
      "type": "modify",
      "old_id": "5b1511e088deac84f5df84bc7e0df70823f2c8a1",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Parser/Parser.lean",
      "new_id": "5ac9d61d3559af72770eda3f2c405c1876541129",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Parser/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "3e0f5593aee38e884d23bcd3aacf83e6f74ed583",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Parser/Term.lean",
      "new_id": "199f60ee087422739d4c5127c521cbb7d083f2c6",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Parser/Term.lean"
    }
  ]
}