)]}'
{
  "commit": "6e7c0c6f6dcf5e3fb9d071c4d79dcdffccc347a4",
  "tree": "7554554e7790d749cf48422efa586df8fc0bda14",
  "parents": [
    "7c3bc04f824de9460f1f4d2dcfd20d80ab40fef9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Apr 01 11:03:58 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 06 09:40:09 2022 +0200"
  },
  "message": "chore: typos\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "defb470b9e670337bb39cb6188ae887c3c1e07b3",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extension.lean",
      "new_id": "cdfa42d566d3c68fbe3b80f3424d4d971185e33b",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extension.lean"
    }
  ]
}