)]}'
{
  "commit": "1bf2e48d27a2b92933baacb688d0725a156761ea",
  "tree": "ba3cd0d62bb389d08f039ff947739cb673573931",
  "parents": [
    "c1d317359e6772c7652a7a7d9efe239b16c49e74"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Sep 19 19:01:11 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Sep 19 19:01:11 2024 +1000"
  },
  "message": "cleanup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9b9cb932795a98762a3d282a9a61a1b92f909a9c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Attach.lean",
      "new_id": "985c5caff3010cb73b1b6f18b4d3e0e850bd2daf",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Attach.lean"
    }
  ]
}