)]}'
{
  "commit": "a57a5ceeeaec7938b470c6b37def4cbe69e81763",
  "tree": "af54c4c02ff82331aaee1f97884a635ee9d50624",
  "parents": [
    "0ebcee61ffd9989144994dcb27588d37ec3876f8"
  ],
  "author": {
    "name": "Wojciech Nawrocki",
    "email": "wjn@lean-fro.org",
    "time": "Mon May 25 19:33:59 2026 +0200"
  },
  "committer": {
    "name": "Wojciech Nawrocki",
    "email": "wjn@lean-fro.org",
    "time": "Mon May 25 19:33:59 2026 +0200"
  },
  "message": "WIP\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bf7ed7b8a9c5aaadc943cbedc0fcf0f0e7bf49ea",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree/Main.lean",
      "new_id": "cdb771caa70df61b4c8c5991c3c1e37119642ee6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "c051561e3695f973d0cc4e7429115b1eea9b84e2",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/CodeActions/UnknownIdentifier.lean",
      "new_id": "e8ae5fd37b17ffab91ed365a2e68639afd98feff",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/CodeActions/UnknownIdentifier.lean"
    },
    {
      "type": "modify",
      "old_id": "8196bbe674f9565290365a8f9b9d0b6c3573dd6c",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/RequestHandling.lean",
      "new_id": "4acce81712be806cb8948d631d323466c662eb38",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "95ec3acde3b1e037f566809be0e3f2d58ac1a0ca",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/WidgetRequests.lean",
      "new_id": "05a272bfad5e9b2b98116d6a64343586a6acae21",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/WidgetRequests.lean"
    },
    {
      "type": "modify",
      "old_id": "6f34c8652a74da03726560336a2c5cb3244d70e0",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/GoTo.lean",
      "new_id": "9ea1f0e33ef16897da227deb9bab294261ac8fcf",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/GoTo.lean"
    },
    {
      "type": "modify",
      "old_id": "58a78229d0f293737e1f0d8471148b69c9051366",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/RequestCancellation.lean",
      "new_id": "abf9472ddcd9f99925d4a3231198a3370aeabd8a",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/RequestCancellation.lean"
    },
    {
      "type": "modify",
      "old_id": "09059212847bedc20909514911f4926c1899b29d",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Requests.lean",
      "new_id": "ede60e30f0de4532c18b542fcae008a9820699b8",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Requests.lean"
    },
    {
      "type": "modify",
      "old_id": "e3b0fe5a8b3cb5d3b6d3f8eb9025f97515f741d3",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Snapshots.lean",
      "new_id": "421009ec532e4534b6597de22927488611be0d33",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Snapshots.lean"
    },
    {
      "type": "modify",
      "old_id": "84cdabe30c0053235233b7871bdce38de94b3560",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Utils.lean",
      "new_id": "75ca3f9a487d7f8ac4a5b6759506d5b2912ad39a",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Utils.lean"
    }
  ]
}