)]}'
{
  "commit": "602ebed61088b2c2ac1d80d3382935c620b5500e",
  "tree": "1285905bc727f739cbc3a8f8ef7e9ac001eb8944",
  "parents": [
    "310d8fd15da63a9a2e662a5270bc04ba56de63a5"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Oct 02 14:09:33 2023 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Mon Oct 02 14:09:33 2023 +0200"
  },
  "message": "Update src/Leanc.lean\n\nCo-authored-by: Scott Morrison \u003cscott@tqft.net\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2034e4696b1c23402d4768bb502bc1ddc2dc679c",
      "old_mode": 33188,
      "old_path": "src/Leanc.lean",
      "new_id": "c516636efa8c51b34db04c96089f4b39cbea4396",
      "new_mode": 33188,
      "new_path": "src/Leanc.lean"
    }
  ]
}