)]}'
{
  "commit": "a14353e20c8c789abf5d2b32b2d4423cd28d97f2",
  "tree": "d5394f2e09e4da52446c75ecb548bed4f8826031",
  "parents": [
    "d5640130131825f2b56ef10113e92d8f90fdc9f7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 22:26:49 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 22:26:49 2025 +1100"
  },
  "message": "finish\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2e98cfe37e71b4691b7ace15ffe0d28a85905b0e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "336bf8adf03a0488f90b42426a6c3526250c7509",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6fba72574271cbe9f2992b3d6b7fd82f7a0abc5c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/NeZero.lean",
      "new_id": "6cebc7bc4b1383510e956d4d6b2fc7c913f0d556",
      "new_mode": 33188,
      "new_path": "src/Init/Data/NeZero.lean"
    },
    {
      "type": "modify",
      "old_id": "b07c8b6875eeabf7aff078808795abd566b7e975",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "8449f64c9531e96deea1bc902060a8aed59a50eb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}