)]}'
{
  "commit": "c2632605785e1efe6aad8c7e416bb6faa3e3af63",
  "tree": "458144e595340524d987a30fa7797946105347f7",
  "parents": [
    "19fd1f060f0bcef68a9a832b4323da4b9840c37c"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jun 28 16:55:27 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Jun 28 16:55:27 2025 +1000"
  },
  "message": "chore: generalize Array/Vector.extract_push\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dea24633bfaf847f8729103ff87f604f6f46e23d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Extract.lean",
      "new_id": "c69a89dee1f77c1a9e7a70a004b2ce37401cf557",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Extract.lean"
    },
    {
      "type": "modify",
      "old_id": "f67280500e3ddb53a8983a26cd2037d1227fab51",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Extract.lean",
      "new_id": "1ab74156b7da541108f99bf3f9c5efa76a4df263",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Extract.lean"
    }
  ]
}