)]}'
{
  "commit": "03487bb7da83e35e37c3db57919561929bc00470",
  "tree": "952ab6f28aa837fc3908d6eaad490c14b56f5eac",
  "parents": [
    "a56fd6a8c0b6332079fe6ea9327acd124725549d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Dec 20 16:59:24 2020 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Dec 20 16:59:24 2020 +0100"
  },
  "message": "fix: don\u0027t change antiquotations semantics in `do if`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4f835ed8ed820c2f38c81f6a6d6fef702813c50b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Do.lean",
      "new_id": "c511283c6c00e6b4ff06b1d56d448342cdf4093b",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Do.lean"
    },
    {
      "type": "modify",
      "old_id": "2a64567f2a54fb3fa2a2f4acebe53847a315d4d4",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Do.lean",
      "new_id": "2c5cd9fbad82e64f752062de8b3ca90a3e147d69",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Do.lean"
    },
    {
      "type": "modify",
      "old_id": "d0123e6a86c171986856ec4a32e87a3f5a2e3852",
      "old_mode": 33188,
      "old_path": "tests/lean/run/whileRepeat.lean",
      "new_id": "3f1f157383837604e7920e94ddb88b7e86f7499c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/whileRepeat.lean"
    }
  ]
}