)]}'
{
  "commit": "896b3f8933c31eedd20559e240f2ef74aaa30ee5",
  "tree": "939c5259469d5a616e8e403ddb87bcc32a984db1",
  "parents": [
    "816fadb57b177e22cdd7af930485edf83b8b3400"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Feb 26 16:44:05 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Feb 26 16:44:05 2025 +1100"
  },
  "message": "copy across some Find API to Array\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d5b896ee613f2ca28ce71a73c23007d79bbb07f7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "36c08123d500f674bcac0c33b1b31c809955d6dc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    }
  ]
}