)]}'
{
  "commit": "7791ec784466067c022cb5ac2bb61fccbdbcad56",
  "tree": "3112c533807ee062fccfc2105c421a071484a6ca",
  "parents": [
    "321e148f51eb507acd9bf870ba1a7d469d4ed3b1"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 27 15:05:52 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 27 15:05:52 2024 +1100"
  },
  "message": "feat: upstream List.finRange from Batteries\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c0f92afdbba5e0ed2201b0befa62b94ff50f2510",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array.lean",
      "new_id": "6626b0b815e5359a23e8807fb51128b4d5a9e739",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5d49f88027d9625252b1fc186ae001187d5c0c96",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/FinRange.lean"
    },
    {
      "type": "modify",
      "old_id": "d30d633127e61e344bc019dfaeb2a79a547580e3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List.lean",
      "new_id": "7c321dbc3e070b48e77da904c057cda792834d62",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "febb75e81dedf95be09457616e21a1ada28f02ba",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/FinRange.lean"
    }
  ]
}