)]}'
{
  "commit": "1a4d7759ff74c33a9308d4817dac921e09d540e8",
  "tree": "dc09fcd656ce104c9a3ce319e095e89a0d5cd6d5",
  "parents": [
    "0aa68312b643abce8f80be35274c306c3fc1601b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Apr 08 18:44:05 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Apr 16 13:41:28 2024 +0200"
  },
  "message": "feat: basic incrementality API\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "180856863f8349fa6dda15e370a83e62f37b8cc2",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "1850c638159568e26daca4bb8b758d2b32729c4d",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "758c25ffaf7b6144b3e8c4feb427d96123592a89",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "add71e7fd15c308b503a33b3ebe10dee956dc541",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "1e5992ae4572849fb07984a4863c92c63fc87f79",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "c66d846834f628adad8c4b266d28ca98f44236d1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "4ee4d4099878c6c53208e67d3c39494f77717778",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "1f39ec1778c25c672680b6be717707e0bde62d4d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "e09fad85236ce2dac23e0a4b3116fb5793e352ea",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Basic.lean",
      "new_id": "5106161798d5f0b17b3c93353a8fdc58a26ab83c",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c967565bf3a6a0481ba82ad9c25fee0ca517a907",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Lean.lean",
      "new_id": "ca48730c7df664226b3a143a8c717df56cf1359a",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean.lean"
    },
    {
      "type": "modify",
      "old_id": "de87b256c102977a6bc3182f77a5cf9ae2c7c762",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "5ca74b3c8f0fdf4b6af3a5ffecba5e4e32f6e3dd",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "304cb92c7fa819de4964a38bb5ae071602fc6d26",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "ca8e1330137cafe81e5c110453d085f9ab0332ac",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    },
    {
      "type": "modify",
      "old_id": "13c89720dd056607e1e54af225e856e9544d5f2c",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/Utils.lean",
      "new_id": "b14f08819a98c47c554eeca487fd2cd7e7ef6f12",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/Utils.lean"
    },
    {
      "type": "modify",
      "old_id": "cb1f5ea7c7f92114094dc39b9ebe72a6d2fd3371",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Snapshots.lean",
      "new_id": "5d3070f7523097ff2d7af2b014d482bab0160503",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Snapshots.lean"
    }
  ]
}