)]}'
{
  "commit": "621bb02e5ac3c7df21346736829363f61eb04c47",
  "tree": "f76697993b325bac6b80f8937b85bcba44655d0d",
  "parents": [
    "5283392846efe6504454a60ebeb644530ebb031e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jul 03 22:15:05 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jul 03 22:58:20 2023 +0200"
  },
  "message": "fix: symmetry in orelse antiquotation parsing\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3fbf9e51a9236ce8cd7145fff10e3cc33b142e4f",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Basic.lean",
      "new_id": "3a630be6b1e1ccdf0f19a4976e1ce10d0013e4c3",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a95e193981996c10e1d159f1fa957718fc579b82",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean",
      "new_id": "747c282871863f3fcda2ead7630d2528b704e37e",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean"
    },
    {
      "type": "modify",
      "old_id": "685d3a2f8825b39e1f20e70e449ddb54e883f2cf",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "73d8f660ac6f3d878857dd7a8aaf42d876123e23",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    }
  ]
}