)]}'
{
  "commit": "8ccaaeefdc99efe19d48fcb2533241cd84b20db6",
  "tree": "20663a4100f9a13f2ef6f821a8e72ac04a5c32fe",
  "parents": [
    "3107edb098e297e002c909560fc6d76eecbbb7a6"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Feb 25 09:03:15 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Feb 25 09:03:15 2025 +1100"
  },
  "message": "deprecation\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7bc5ddd303231a7701551286008fbef200dbd3d5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "dd10e660d1fe3e270383f2be21b0c2ac867b7c59",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}