)]}'
{
  "commit": "a91d6507333d20fbcc68bdc65a4c5ba355a07fbc",
  "tree": "341ce582c6060831d658d43de6bbc37989e1809e",
  "parents": [
    "2952cf81e6089626f96321b44307d2222bc74d03"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Mar 12 14:47:27 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Mar 12 14:47:27 2025 +1100"
  },
  "message": "chore: fix duplicated namespaces\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "093efb8c78f3de90676ec88c59a889ea8033e7ab",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "d89e2a890527fc199ecb34f30759c75d43ab08ef",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "98b02fdd596ecaea11d0b30f2274cadb534e661f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "a54ddc23b9ff5098b4792747a7fe00d26392122b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "0ff1722cbdd299574dc957be2d2a303555ccacdc",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivMod/Lemmas.lean",
      "new_id": "573fa1c656dc0f540a05d34889054299009fe3cd",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivMod/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "cb0dd24339d474039d1fba407e42288ebdbefbc1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/Lemmas.lean",
      "new_id": "2e1ab3cb38c15cfed022f7e3da14385e0dd354f6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "5ef861af4dcf99c8269d9e5b40878d113188b29b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Div/Basic.lean",
      "new_id": "94e9bd4d6237b98c168d2c00fdf9205be2ab2aef",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Div/Basic.lean"
    }
  ]
}