)]}'
{
  "commit": "79f80ed2ba5003c95985bc2a6fe776b299b854f9",
  "tree": "b03dffcaa23e1781ef65b19dfb407d2e14b6d77c",
  "parents": [
    "e3b4d63012f561de2741a5940cf8e5f18f01aa47"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 06 08:35:16 2023 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Dec 06 08:35:16 2023 +0100"
  },
  "message": "untest",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0418ba156f902d61e6f59d42cde42c9863c4898a",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "3d26bc852ef4d938f6bf92465af981cbf3919a23",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    }
  ]
}