)]}'
{
  "commit": "ee1b05f22d0331f841015f5e0aded8f2f95ce280",
  "tree": "8f78f43a85c77aaea9960e35793b42b58275dba8",
  "parents": [
    "f4c9934171a22d376fb7c318ce2dcf80ab0eaf0e"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 20:24:06 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 20:24:06 2025 +1100"
  },
  "message": "feat: align List.replicate/Array.mkArray/Vector.mkVector lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b78fe308f0a5d2e2d07f6fd5bfe69396af00f94d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "4dcffa768802bd86c641a5351cea329734cc9b41",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "a0f8aa260b64651d8cf0a8be4d91ec4cd711eb5b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "410effcfa1f07487e95e638d3644690000e9aab6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "91016438aaf3be358da72cd1761807436ae364c4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "6021842d3f58cb6c095604adb33d8ee79a90d965",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}