)]}'
{
  "commit": "26611b153b79190193bc5de061dbda093c257400",
  "tree": "655b3eb15e651074274733c47228c09df0417cd5",
  "parents": [
    "727c696d9f132bc2701b9755f8819bd36335cd26"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Feb 27 09:14:09 2025 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Feb 27 09:14:09 2025 +0100"
  },
  "message": "chore: temporarily disable Elab.async in the server",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fab55b498d3ae4802bdbc85a6090a7a5f49f19a2",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "c5e599fa6a4a088ad8e5dbdd45a7f89581c37e81",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    }
  ]
}