)]}'
{
  "commit": "1df75e91a922274bb6064b4c6527e82e16ecf165",
  "tree": "1319ef0ce7b08acc300ddd8c3a68dfe67b10ea65",
  "parents": [
    "40f07ef6a1adccc6b315c579a71e4ccb90980093"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 22 10:21:26 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jun 23 10:54:06 2021 +0200"
  },
  "message": "fix: move `elabCommand` parts that should happen only once into new function\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "950cbe45c8b32de629f3e1e2a513904b5a782ba5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "d1be41357f8d9cd1a44255851603baebd058a6bf",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "53ff7919be3ef0f0e35160195cfaa283ae222fce",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "c2b85a511e14aee7574078e5adbccb0811b8b114",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "88bbc6ba644e3ff42e7f6e2f69736b0d296cf76f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree.lean",
      "new_id": "c6e3c9261771cceeea84ca0a62121e7a67f3884a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "72aeb48605b86ff429d446fde00ae89c22556ecd",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Snapshots.lean",
      "new_id": "208f650721020fd8c638f75219e436ba9ce8e532",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Snapshots.lean"
    },
    {
      "type": "modify",
      "old_id": "f2881f8e9e297cf5f851bedcaa006c00c42a7b0f",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean",
      "new_id": "dd8e415458bd742d6295c93c21b6b29fc44506f8",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "e1055d7f8e598081a5a907a050bec0b8387bcec9",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean.expected.out",
      "new_id": "c0cee5d5bdd5bc26c503427540bf8555ca6462dc",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean.expected.out"
    }
  ]
}