)]}'
{
  "commit": "c3d6255b25b8fa54d5303141bfee7f94aa0d259e",
  "tree": "32d3ea8b63abf9c35c48358e98c4983c4e4aaf33",
  "parents": [
    "60de5f94d644b8eb1b1990e1e271275434e74d79"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 28 19:56:35 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Oct 28 19:56:35 2021 +0200"
  },
  "message": "feat: stricter `IO.bindTask` syntax\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5a9cd64065a1fa461cbe5bed675f5024b7413905",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "8ac9562e5668b85a3cf9c9b579b2511609e26ae2",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "6b62d00c4e356293a8376bc63c5f0c2fcccc5327",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/AsyncList.lean",
      "new_id": "c29351e116c177a421c3d5cb461eab93e5069cda",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/AsyncList.lean"
    },
    {
      "type": "modify",
      "old_id": "b8b729c544a603258dedf17b045668a163adcd15",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker.lean",
      "new_id": "7a4cfcf2d34624d3b93f5966a7d097388a3f7b26",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker.lean"
    },
    {
      "type": "modify",
      "old_id": "ae5237ad671e32b39c66f48ff0ea60186eef45ac",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/FileWorker/RequestHandling.lean",
      "new_id": "f096a4618d36ebefcb9be5656926620b2edae7b6",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/FileWorker/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "f95deaf452fdcdc614016bb5ef0481d462234dd1",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Requests.lean",
      "new_id": "777f22bb66a84a5fd7a27e9cc63c1614b52f2482",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Requests.lean"
    },
    {
      "type": "modify",
      "old_id": "bf78c0aa7f1cb72ab0bc78eed9a37f776a474880",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/Rpc/RequestHandling.lean",
      "new_id": "61269d33d62a536e7ea9bf6b6db08978fc1e90aa",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/Rpc/RequestHandling.lean"
    },
    {
      "type": "modify",
      "old_id": "77b051ee7690fc51766a3f9b70215d0e4fcf3447",
      "old_mode": 33188,
      "old_path": "tests/lean/run/task_test_io.lean",
      "new_id": "0b88ca36bd0293e020a2ccb0399704cf13e57801",
      "new_mode": 33188,
      "new_path": "tests/lean/run/task_test_io.lean"
    }
  ]
}