)]}'
{
  "commit": "1ed4d115f27c6d4855d8728b8ed7e531ed789c5b",
  "tree": "8c4179d141b37087b55dc849b5b6355b59156933",
  "parents": [
    "27bf7367caf2df7fb44cfd9a1abed556d14dfde0"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 11 15:36:11 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Sep 12 11:38:30 2024 +1000"
  },
  "message": "feat: cleanup of List.getElem_append variants\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "89b3716d3d35229c02703c55611a19d898184640",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "671fc59fa0340ea09b10578d668124e3d52ed1e3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "90892b72c6c0ebd39963b5613db927334843d0e5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/BasicAux.lean",
      "new_id": "e3fa716b956794f9c7b49cfaffb7bf207fe853cb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/BasicAux.lean"
    },
    {
      "type": "modify",
      "old_id": "efe0ff0e4140907f346eec0a99259cdb64efacbf",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a9637816bda5c2927b84ff19795e58140475bedb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "838a24c1b26f3a797e77765981d9034df69914b3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/TakeDrop.lean",
      "new_id": "dd5dede02f704a7d62e060836b19ee6c0ae87c6e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/TakeDrop.lean"
    },
    {
      "type": "modify",
      "old_id": "92366b668208074999b4c9a243200ef840344c46",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Sublist.lean",
      "new_id": "985923417551382c908018351cc6ef8925c95fa8",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Sublist.lean"
    },
    {
      "type": "modify",
      "old_id": "e6d25ef7a4cde8f566e16b483f470d304b79dab4",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/Model.lean",
      "new_id": "fafade7a841f0c7378244072e9e59ddbedd410f7",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/Model.lean"
    }
  ]
}