)]}'
{
  "commit": "35b11014bddd2c0234c1009690dc23ceb87ac778",
  "tree": "e707e19ef3cfdcb205a1c76b4f51b82ffbd67630",
  "parents": [
    "cc33c39cb022d8a3166b1e89677c78835ead1fc7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu May 30 10:57:30 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu May 30 11:01:54 2024 +0200"
  },
  "message": "feat: quotations for parser aliases\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6e4f342bc5e47865b5d9f258ae14118a563622c7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MacroArgUtil.lean",
      "new_id": "af29baca9fd03453dcf6f2bad7d557a50f36837e",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MacroArgUtil.lean"
    },
    {
      "type": "modify",
      "old_id": "a0c83ff00e9d76cc244a7419a0ad940c3dcfd45a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Quotation.lean",
      "new_id": "14d1bc23c5f7dce4e2f92d9bb23fff08bb9b5dff",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Quotation.lean"
    },
    {
      "type": "modify",
      "old_id": "40ad9430b318291697c0e4d2add93e0cb65f3e9a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Syntax.lean",
      "new_id": "34236fe9ffd3a287812bf0c0b719e3884f828a65",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "03ee8095161c8d8681294c83bf2241a4ad9b33e9",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extension.lean",
      "new_id": "87acbcfe343cf1e10c9a50bc40940c166acab611",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extension.lean"
    },
    {
      "type": "modify",
      "old_id": "a8aa5ca3b5092c06cdd105806ca23eedefea7641",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean",
      "new_id": "501aae5c4c3afc8fe5929ca76f54d449a670a924",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean"
    },
    {
      "type": "modify",
      "old_id": "2411f8e1a804e67a400c55b82499bdee3fe5def0",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "39f024c723258d81eeb4e380914e8a46a95b2407",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    }
  ]
}