)]}'
{
  "commit": "168f7577dbc551097f6022007bde967808f10d54",
  "tree": "a20638f5dea5b9108e85f7e4a4c9d813f49eb81d",
  "parents": [
    "a515d78358cea4da43009071df37681da3decba4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jun 08 17:56:54 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jun 08 17:58:14 2024 +0200"
  },
  "message": "fix: non-incremental command blocking further incremental reporting in macro\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "70d2ffadc16d92e5f2e46f968aa13b77d8e3c673",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "c171612f296ccf5f4d1caf93979076db31847845",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    }
  ]
}