)]}'
{
  "commit": "88ea1c47e9628e9525ade0b54c3165ecb18312a5",
  "tree": "698166fb50db0b279f6b2debe70739dd31a0ac88",
  "parents": [
    "3f791933f16d74d74ab8116c96cadec6cdf7b70e"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 22:15:25 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Dec 09 22:15:25 2024 +1100"
  },
  "message": "chore: alignment of Array and List lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8e2a62e791f9774de6ab7ebc8bdd22bc3ac1b580",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "b04bb16f48818f74f7c61311945493e821a73c31",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "48c02b9886db448e67e019a4681d85ebaaa7bf8b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "cf522faf5355ea578e63f7e185867a48439e369c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "75a760a29abf2ea9a2d25c20b72a6b0e3e5308d4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "afeeaf5622244fc29f5ec2cb604c22fd934b3e3b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "7c321dbc3e070b48e77da904c057cda792834d62",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List.lean",
      "new_id": "2ed68e0d02972507a56e1367a3cbd9b407d44a12",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List.lean"
    },
    {
      "type": "modify",
      "old_id": "e48820b9bacd79a4759d5d805b1bbc7e07e86f21",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "6e17e22e81c8484738a9e4d932c3a027a54d820c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "214364b5bb88062e9eda1da969e7bbc6fd6c30fa",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/ToArray.lean",
      "new_id": "ffa2869b9d9d42a69371f920276e2bb96867af5f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/ToArray.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "214364b5bb88062e9eda1da969e7bbc6fd6c30fa",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/ToArrayImpl.lean"
    },
    {
      "type": "modify",
      "old_id": "31bc54bd99c2b426b4164f04baef1a41b397e641",
      "old_mode": 33188,
      "old_path": "src/Init/GetElem.lean",
      "new_id": "03ba85787ecaa4de44eb0ae332bdfa66a9386c00",
      "new_mode": 33188,
      "new_path": "src/Init/GetElem.lean"
    }
  ]
}