)]}'
{
  "commit": "58014ae18fe6bcbb74347b34e39fa5b2ba7718b9",
  "tree": "fde74e5be5616757201199a408da69f39fe9ddb2",
  "parents": [
    "29e4fec6dfa1c743994696e4c74d0a012afe68d7"
  ],
  "author": {
    "name": "Sebastian Graf",
    "email": "sgraf1337@gmail.com",
    "time": "Fri Jun 12 13:54:54 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Graf",
    "email": "sgraf1337@gmail.com",
    "time": "Fri Jun 12 13:55:40 2026 +0000"
  },
  "message": "doc: fix typos in `do` elaborator and parser docs\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "07061ef5aeecb859a1649a2f0c65ab2ccdad640a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinDo/Match.lean",
      "new_id": "a7d20975559723149ec3a6244607a251d490540a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinDo/Match.lean"
    },
    {
      "type": "modify",
      "old_id": "fec43a9b527a55c91f40044f5736496e0a8c0094",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Do/Basic.lean",
      "new_id": "63d958d54247d0581c5c0243e79fbca08c0621c2",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Do/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a01ff23cbadb5eab573db36455bf545702b15cb0",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Do/Control.lean",
      "new_id": "afef07b33d862c522e2396634e5e2d4bf5e10da5",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Do/Control.lean"
    },
    {
      "type": "modify",
      "old_id": "68cc8bdf42150c182c9e5567da972d11b6298a50",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Do.lean",
      "new_id": "eb16792599f501a6362079784c0d173d1998de0e",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Do.lean"
    }
  ]
}