)]}'
{
  "commit": "2e9f62cc98a3c6accf28bd4a7ef387d2e76c289b",
  "tree": "0fc9f6606aa5ab8b6dd6a63d689a48f291081818",
  "parents": [
    "4c439c73a7473ec51ac0763f15bd6e53dcbaff0f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 16 09:37:47 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 16 09:37:47 2024 +1000"
  },
  "message": "feat: List.replicate lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b948d76a500a9e75dbcf2ca08f3d965a58ec71b2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "83df4a1735819a81dd000f2f14ee7cf2288a8e70",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "de6517016b5538a5558673ad37870dac884904fd",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Basic.lean",
      "new_id": "6f0309b8757a9aae860084870bb6fac9b0de9853",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "2d4908e48e0e10970c22e5a1a1592c4ea0ca1a99",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Lemmas.lean",
      "new_id": "3bcade3e3763d159ac747472dd60c530fa80401e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Lemmas.lean"
    }
  ]
}