)]}'
{
  "commit": "355b9086373f2467681a3f7834662bdd457f4fa7",
  "tree": "01df5b5b8348476d1049d289db26391753522341",
  "parents": [
    "c591a68aabe4455697066f969f38f272bae51bf4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 12 20:28:17 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 12 20:28:17 2021 +0200"
  },
  "message": "feat: `calc`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b5133806c2a5cf5819a4c0388f876fa1f53f9dea",
      "old_mode": 33188,
      "old_path": "src/Init/NotationExtra.lean",
      "new_id": "9cbc4b33a4b7fa098d5170e19355a280ef4be6ab",
      "new_mode": 33188,
      "new_path": "src/Init/NotationExtra.lean"
    },
    {
      "type": "modify",
      "old_id": "383e5c6e07111d65af23eec2d739ee4e61d39d2a",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "1ecd693bdd87a76c3f96e0d22c9bc30c6ea971d2",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e5ce0cbbbea981e33b2a278927d9b6f720182314",
      "new_mode": 33188,
      "new_path": "tests/lean/run/calc.lean"
    }
  ]
}