)]}'
{
  "commit": "df74ddd6a2bb2a4f559ce8b10a299ef7e0563e7e",
  "tree": "41a5e8acafe7a14f35a20a0115468d824d41e4ea",
  "parents": [
    "acb67121895284c105e433858124177acad6ad32"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jan 20 14:44:29 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jan 20 14:44:29 2025 +1100"
  },
  "message": "finish\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d38a93dac19f24a7e60889fc09a6b6cbbd6ce360",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "af70c71ce146ad61a9e2dd0357d859f5c5f4225c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "354fd801cd7712248198502a61af4c969536c59e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "da932cb5caea67a1c320fb982eb16e2385954818",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "b12146a9a091bae7a3c47198ddcf74dfe83f96da",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "d1c6ec47b5d475763a7bdb6c559a0b264bd0b0bc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}