)]}'
{
  "commit": "ee8ed76fb374d16fd24446b5a0ece0c4ed0c1ea9",
  "tree": "b534fdae3b260ad2be1e8f2ee4e65db3a7359985",
  "parents": [
    "0c30372f93199f7e021f5773c8fd824af2b3668c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Jul 02 18:59:11 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jul 07 11:04:51 2022 +0200"
  },
  "message": "fix: bound syntax kind at `v:(ppSpace ident)` etc.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6b051e4dd34254512a5083fc1c57cf2766b59937",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MacroArgUtil.lean",
      "new_id": "4f605981a2a835e9efe5276952c3cdbbd633eff6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MacroArgUtil.lean"
    },
    {
      "type": "modify",
      "old_id": "fa19ed88911bea73f303a47dc66b06e15f6d090e",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser.lean",
      "new_id": "80abaea49196cbd9c2d04078608e0e60103ee27f",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "bf5e0c35d13b5197da486855c386f8ff0ab304c1",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extra.lean",
      "new_id": "e365fe6bc6f3619dc55916a4b29b62d29a96559b",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extra.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f80dd81b1f07253690807cdfe619877a9f5ad8bd",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1274.lean"
    }
  ]
}