)]}'
{
  "commit": "c8c2b7832c6756f4f14b0d65d4253aa01299371a",
  "tree": "b383c4e8fa86adfb5981cde53e6c276578da5169",
  "parents": [
    "80ddbf45eb92794b1df2cb625e9432753d41601b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 18:52:37 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 16 18:52:37 2025 +1100"
  },
  "message": "feat: rename Array.mkArray to replicate\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "69d50d1a9b866459a87e56220ea91720d8bf0b8f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "7d673c502c93e4d39fd6c895bec8f27efbc60ee6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "4838ad6408a4c51746f247c4d4833f34fb31462c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "fe8bd88688f97a2f8b774390f6f0f3f92ba97294",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "b78fe308f0a5d2e2d07f6fd5bfe69396af00f94d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "8418794aea4ef43ae62fd638c4295bb2550f89f3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "d76cc01c885fe773852e226366bb297005cbdd1e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/ToArray.lean",
      "new_id": "736bd139f5828c903ce8334c191b95653f577299",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/ToArray.lean"
    },
    {
      "type": "modify",
      "old_id": "32b336c4801d681582384eaa380a05456b82d6af",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Basic.lean",
      "new_id": "662abad66a525f7f010054c7228c218f9f06585b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "17964a63efd92bd15f47ec73274e6246eb44936c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "bb73b49be9350b8bac8456c0487c2654186e74b9",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "04dc7527b50bf91f031b5b6baa9fa52e8ec599a0",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/ExpandResetReuse.lean",
      "new_id": "0d8e771505d60e468beaee266c7bf100da9deef5",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/ExpandResetReuse.lean"
    },
    {
      "type": "modify",
      "old_id": "5d216c29796b3ff8cfdb323de4f7e9eca1b9657b",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/FixedParams.lean",
      "new_id": "490e1dcbc01ee2f95da18292c23d4e0203cc0267",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/FixedParams.lean"
    },
    {
      "type": "modify",
      "old_id": "d6cb3f222bda358c0cd855de475f2a75e3c9a7d9",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/Simp/DiscrM.lean",
      "new_id": "615b43e3750d7e9a4f2606420814e7064dbf93f4",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/Simp/DiscrM.lean"
    },
    {
      "type": "modify",
      "old_id": "0e7f2cefa77d849fbcaa8cda6fa2047d19ea3cb1",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/LCNF/SpecInfo.lean",
      "new_id": "ea512d7ca1382fb618e6213c00563085e9699cb0",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/LCNF/SpecInfo.lean"
    },
    {
      "type": "modify",
      "old_id": "7c89fab45e46ae215f56b3a10cad90488ce7cb4d",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Array.lean",
      "new_id": "7501d38fbeca62cad1f3e8e695bddb394e48f7d0",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Array.lean"
    },
    {
      "type": "modify",
      "old_id": "1ee2cd7ea9bfc978b78fd36e8a230291dcc8a800",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/FuzzyMatching.lean",
      "new_id": "3f7614d2b80ea7c98b166cdd3c0ce0c8c010923e",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/FuzzyMatching.lean"
    },
    {
      "type": "modify",
      "old_id": "c373939a9628ef0dc69fede2cb5814f218498fe6",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashMap.lean",
      "new_id": "51fcc93a8c4c778546ad0117e0ee74bf02454132",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashMap.lean"
    },
    {
      "type": "modify",
      "old_id": "e85d3db8d096b1ce304fdb5adb0bf29eb43d39fd",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashSet.lean",
      "new_id": "1aaae76ce6652f5ce351e500cdbbd17d81c1bc49",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashSet.lean"
    },
    {
      "type": "modify",
      "old_id": "03080058670646689358d11462cbdb2a47c2d921",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/PersistentHashMap.lean",
      "new_id": "4803a73a637dae7c03f6d5e76c4c7c2fedfe7d5e",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/PersistentHashMap.lean"
    },
    {
      "type": "modify",
      "old_id": "7c28cedbf7c16f74bbc635908025100578e80519",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "4fe33e878db27d305404c4515d058c096208690a",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "f60754e41f50b512db789b42225195507d5cfd74",
      "old_mode": 33188,
      "old_path": "src/Lean/Expr.lean",
      "new_id": "74ede5ca441405a59d017c77840e274c72c7c1f1",
      "new_mode": 33188,
      "new_path": "src/Lean/Expr.lean"
    },
    {
      "type": "modify",
      "old_id": "367d5a549cdd603c0e134cb738c0465a21b41b4a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SizeOf.lean",
      "new_id": "54e47360971b3eb35e913647b61fefcc8286f68c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SizeOf.lean"
    },
    {
      "type": "modify",
      "old_id": "0a2aed6e1a2cd6ccf3faca12454d95a68d0fad01",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean",
      "new_id": "812f591148f61e214aa5d698399ddc094d4bfb9f",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.lean"
    },
    {
      "type": "modify",
      "old_id": "ffd3691902264a3f95becfa1e0a124499e084b7a",
      "old_mode": 33188,
      "old_path": "src/Lean/Syntax.lean",
      "new_id": "77a6509e1f3bd575d400573b98a2f535725551f1",
      "new_mode": 33188,
      "new_path": "src/Lean/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "6208d40bf610a3d5a7dec0ecc55de4a0c4a54b4d",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/ForEachExprWhere.lean",
      "new_id": "f95919f0aef38663626b7d9638cacdf88309c83a",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/ForEachExprWhere.lean"
    },
    {
      "type": "modify",
      "old_id": "11d5881abc51697e12b25929a5d3d692c3d80d38",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/ReplaceLevel.lean",
      "new_id": "02f2201c9e5f3962371e182afd37a977eeae4363",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/ReplaceLevel.lean"
    },
    {
      "type": "modify",
      "old_id": "aaafacb8240542fee7e932e3395bb79bc514465d",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/Defs.lean",
      "new_id": "bc30712763cad3c98247949ba0f873f2606fb3ce",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/Defs.lean"
    },
    {
      "type": "modify",
      "old_id": "4020b4a31011796fc48450dec3a42479947c4e51",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/Model.lean",
      "new_id": "19e9f1a0ac3386d3a47ef1979c252255e9294231",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/Model.lean"
    },
    {
      "type": "modify",
      "old_id": "d441e5bf36eedcfe6fb3a7534d9170e0f00c4035",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/WF.lean",
      "new_id": "71a9c6fa2d3f9c661f252b059f399786fb219c7b",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/WF.lean"
    },
    {
      "type": "modify",
      "old_id": "b43ced351dff309608b629413cdf50816277df86",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/CNF.lean",
      "new_id": "0dbf3d77adff20cec0a885d4c7093f61c87b6840",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/CNF.lean"
    },
    {
      "type": "modify",
      "old_id": "108fc7114ed0c62b9a59c8ee2f75f5f9e953d178",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.lean",
      "new_id": "fddfb0626a84f941eca214763a9e9c2837b9ee0c",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Implementation.lean"
    },
    {
      "type": "modify",
      "old_id": "41d343c3dd26ad904f4efcf861e8fa8cdc3466a6",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.lean",
      "new_id": "a9daad3253d1868447d0c9d6406963946223f88c",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.lean"
    }
  ]
}