)]}'
{
  "commit": "af15de1e069638d4d3ceac97d4a01915fda5fad1",
  "tree": "9b33f3916700951d54edd2ddd9392e0129f6e107",
  "parents": [
    "f7a1fd66b0df1617a1ab291edcf6587c186a52af"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Oct 21 12:15:44 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Oct 21 12:17:36 2024 +1100"
  },
  "message": "original behavour as Array.mapFinIdx\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "62a89976ee9bbf4028b1d54c817920469c27938d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "1db7a0dbd78d9b6c92fcad15fd2ad6829b6c2f28",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "4b910b3bff4d5be343c1bf43bddf5866b4882378",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/MapIdx.lean",
      "new_id": "8c90ae8d25de171be4b07a7a866b5046f91de974",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/MapIdx.lean"
    }
  ]
}