)]}'
{
  "commit": "267c2e5ef952aa06157034369e745e6e4cda51dd",
  "tree": "1c16d03141099cfd85febe4e39fa9cc4c5f81fda",
  "parents": [
    "04a7f9bfb4c109e84e6502ce2d2972e02b829d39"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 21 17:11:06 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jan 21 17:11:06 2025 +1100"
  },
  "message": "finish\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "435d4f5e833b9757871354380c2bbb65ca2b2eb7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Attach.lean",
      "new_id": "36ffd5fe7c72d3e9b1d39c0b5e3855cee1ba1683",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "b41356c67131bc13d4730a2bc7f104b2adb7379a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "0fece3ac6790bfbb4084403c1915443541bab1cc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "893d5c259b517f4a93f8fa23369b9a735b93d40b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Attach.lean",
      "new_id": "e54de34b650d72007b0b707d6e2afc16ee5f1170",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "da932cb5caea67a1c320fb982eb16e2385954818",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "a07da6dfcc2634d65156ff021e87fd7161be0015",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "71ca7a2b02b8a11655e845056575a8f789ed2034",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Attach.lean",
      "new_id": "ce77d9e164a1d3516880becfd6e76cb9c1b2efbb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "ee39a3d399efd54c722c99caaec64b7f90ebf3c8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "07fa54d7ae98ef059d50b0458181d5d0c3be6ddd",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}