)]}'
{
  "commit": "836a5843d48c87e5b395e931fd7be8d979c228b7",
  "tree": "414f010d57b43618943d5d90733e5508e23109dc",
  "parents": [
    "0e3f26e6df7cd9f82ef932ec39305aa43d4a7c4a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 05 16:49:20 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 05 16:49:20 2024 +1100"
  },
  "message": "feat: relate Array.eraseIdx with List.eraseIdx\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6166927d7ffc222bfb8a639f49c180b7bee1873e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "0bf6b97dcfb5c72fe02e4bf994d54ab595257918",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "5c1e4adfabd8fbcbcff7ae0bbf366cfbe1355527",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Erase.lean",
      "new_id": "e179960165808ea98ece4077186dfce982b6929d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Erase.lean"
    }
  ]
}