)]}'
{
  "commit": "c89a39980d2acc2e72b037161ebe6542e418fb20",
  "tree": "740c1c1dfe1df99f1246bbcc3ceeb0f75f00dd19",
  "parents": [
    "67eca1c3f8100160e1cc4b9018d871e11d3d2032"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 17 13:23:37 2024 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Apr 17 13:23:37 2024 +0200"
  },
  "message": "Update src/Lean/Parser/Command.lean\n\nCo-authored-by: Mario Carneiro \u003cdi.gama@gmail.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ddae85995d6a95754bc16fc0d7c833d17684bee1",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "b672cc4e4e08ad53f644c0f4271b781d8629ffe2",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    }
  ]
}