)]}'
{
  "commit": "a47285e23ae2b6bf99e00cf568bfeda1ef094358",
  "tree": "8196dbfa3c3deda1eadca84a3cf57bcd2876e126",
  "parents": [
    "aa95a1c03f2bc6ef8cb3416c04395b8795485f7a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jan 13 12:39:55 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jan 13 12:39:55 2025 +1100"
  },
  "message": "feat: finish alignment of List/Array/Vector.append lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3eee4ef4378489d17f1f4042fbb56bf3ef41a8ae",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "7e0549addb62ed225b81f8884e134f9f0f139eaf",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "934456403a80ebc80ffe3a01617ff9bfc5c2ece0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "095917d5bc9fc12b881c3eef4e408b9c4435ab71",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "8b0b80808be1535f4e1c9c4805080f7a94dc006a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Zip.lean",
      "new_id": "4ffb4b08d300581e6b465226a49c37db5c19f625",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Zip.lean"
    },
    {
      "type": "modify",
      "old_id": "f8fb2eaf2e0c3b2a28b3b0978507a4a3e887b150",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "bce753edba498fec64f089d5e7a1f6ca348718be",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}