)]}'
{
  "commit": "b98f17d0bd804b638fd6c94007d1a0138696e8c1",
  "tree": "bd7c3ccc4e4767636338a07399a326beb074df3a",
  "parents": [
    "4f2af7b1a09ec0388d709fed127794cd6306601a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jun 23 16:35:16 2021 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Jun 23 16:35:16 2021 +0200"
  },
  "message": "doc: fix typo\n\nCo-authored-by: Gabriel Ebner \u003cgebner@gebner.org\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9c573c86f071d83b9d0f56e023ac45306f0e1b3d",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "70b7f00db7ec682f48f30d9eb92ceee8c9e0e9da",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    }
  ]
}