)]}'
{
  "commit": "f45bfaffdf938dd7411398c0bb774ad2e39bc236",
  "tree": "7c071c34d9ca927ab634f776b4a6a2c0723a93b4",
  "parents": [
    "d3abbb7e30f740ee7901706cdaaacffe549ab544"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 25 16:29:56 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Nov 25 17:56:47 2021 +0100"
  },
  "message": "chore: typo\n\nCo-authored-by: Gabriel Ebner \u003cgebner@gebner.org\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8e16617eb261fc52854ebbefcd6b4e9bf58e046a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinNotation.lean",
      "new_id": "429c9975acbc1b88dae8f1186fec81c6235482e1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinNotation.lean"
    }
  ]
}