)]}'
{
  "commit": "db92b51bdccfd217cdc4739054df9a6d4fdb23b7",
  "tree": "5dfbac45b2b8c6dad0b670a6e1052a60786add3e",
  "parents": [
    "6e821de11abd3c16dbbeb15cbfe315e2abbef10a"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Feb 21 16:29:37 2024 -0800"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Feb 21 16:34:09 2024 -0800"
  },
  "message": "fix: copyright inconsistencies\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "aeb86ae0e4a9e9b16c14f3b25c467d83ab72949e",
      "old_mode": 33188,
      "old_path": "src/Init/ByCases.lean",
      "new_id": "cf886e0ff7158e36d0f0eeaadff62b58152ca1ad",
      "new_mode": 33188,
      "new_path": "src/Init/ByCases.lean"
    },
    {
      "type": "modify",
      "old_id": "9e77ac5de568d0578c68f8dac3a5ff2372d97ec4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Basic.lean",
      "new_id": "9bdd36ce2a19dcad797a5f275f3a36d8cabaf48d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "85583b51238fe8e9cee935a8ce3bc8f8cccb2c18",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Bitblast.lean",
      "new_id": "662a51f942a304c8f71fbee58e1273d06abaa45d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Bitblast.lean"
    },
    {
      "type": "modify",
      "old_id": "9e6478c6d911e2c218ecceb4c15b671f938752c4",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Iterate.lean",
      "new_id": "0eff05dda87e4500d5667a07377d2443ce9f5071",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Iterate.lean"
    },
    {
      "type": "modify",
      "old_id": "23e325368a0ac4f55d828bf98bba653b4af081a1",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean",
      "new_id": "9b7916f256df65b75089426330c70a00eb3d4dea",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Nat/Bitwise/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "e773b7dc268865e651673b025b1f16bb26483779",
      "old_mode": 33188,
      "old_path": "src/Init/PropLemmas.lean",
      "new_id": "fe5db407a8d4df2226a87e39c47be68c57eff0a0",
      "new_mode": 33188,
      "new_path": "src/Init/PropLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "9dc138910e978c5ef5cd3d13a7ac731a8bc9adee",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/CompletionName.lean",
      "new_id": "ef2a96c3de43bbc9e7460e355b66ee61f9159626",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/CompletionName.lean"
    },
    {
      "type": "modify",
      "old_id": "92730f93a647dcf4ed18424ff762d2362b202019",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Iterator.lean",
      "new_id": "969aa372f32c2f65a63ddc41eaff6acecccbea61",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Iterator.lean"
    },
    {
      "type": "modify",
      "old_id": "a3694b92c9c89bc104a24b4e96c3b1b919e19517",
      "old_mode": 33188,
      "old_path": "src/Lean/Util/TestExtern.lean",
      "new_id": "51d91d6b5b48740b62bf00138acd7fe0e12791f7",
      "new_mode": 33188,
      "new_path": "src/Lean/Util/TestExtern.lean"
    }
  ]
}