)]}'
{
  "commit": "79934820bfcf2419934120a9878cd653ef8f72fb",
  "tree": "c865e2c8ddbcca803037c892f697d3e361a46926",
  "parents": [
    "d45cc674eade74baae0f719a055b767fecf5fcc6"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 11:38:04 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jul 24 11:38:04 2025 +1000"
  },
  "message": "wip\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d89d3efe9f49fa8f532635c61db833fcded75785",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "7b4f66cd509dd0f7b17add07e331183a1a2defce",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "ac63111e3861e9c86d1756cb4c1bdf09def85de0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Erase.lean",
      "new_id": "da24f85591e3cec1039bec58f2176befb1f5bc59",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Erase.lean"
    },
    {
      "type": "modify",
      "old_id": "775aabb0e1eae019ab6c0f054040acd69c2350b2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "c17212232f7fc32f1a8f514cd228cbfd62fff3ce",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "c2960d98af9d15ca74a789d88ef6e7bdcd17bb20",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "627cfd86555162433b7a3569a52cbffa70ad888e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "0d850da19bd9e6b0ea5e56422b7455008c739025",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Function.lean",
      "new_id": "ff35eda610fd8aafe5f283df58102e57c4c81439",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Function.lean"
    },
    {
      "type": "modify",
      "old_id": "8efcba8294d539790254751f1f4c0557f5c4554a",
      "old_mode": 33188,
      "old_path": "src/Init/GetElem.lean",
      "new_id": "e780d4558d62f5ead4f90a0b300f7373480fd2cc",
      "new_mode": 33188,
      "new_path": "src/Init/GetElem.lean"
    }
  ]
}