)]}'
{
  "commit": "eafd50d116be9aa3e19499ad85d70d0dec966cac",
  "tree": "50fc30eff7bd98135a0c3738e26fc6c266c0acd0",
  "parents": [
    "62e5bc7f72545fab3e52ce13de02c6b810e9320c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Nov 18 14:44:47 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Nov 18 14:44:47 2024 +1100"
  },
  "message": "cleanup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "28737e70b93981c34aaedd97c085eeed17199e49",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "8b3e2830f2dd739acdc297c4f836fff95729a186",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    }
  ]
}