)]}'
{
  "commit": "331fc82a02c722cb535a37257b4bb69ea234104c",
  "tree": "80def9b28c74dc890a0097f53e1c9a8f1da3822b",
  "parents": [
    "d6bc78dcb888ec28d7e369a34821fd6378a0136d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Aug 08 06:07:30 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Aug 08 06:07:30 2025 +0200"
  },
  "message": "chore: @[expose] List.mapIdxM\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "36dbe352dccdc60df3edcdf4e4ba4c0cd7c77eb1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/MapIdx.lean",
      "new_id": "2d5947992dd5bcd02d60c34a61ed5101641666be",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/MapIdx.lean"
    }
  ]
}