)]}'
{
  "commit": "5fce2bebd444c8347c45ca7f4d8bafca732b38aa",
  "tree": "5431783c3e9a6d6bb4c871abb95c7cb63e2541b3",
  "parents": [
    "68e3982eed1e4f98b0a81318510a7717ec6ff3e3"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Fri Apr 12 06:50:13 2024 +0200"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Fri Apr 12 06:54:15 2024 +0200"
  },
  "message": "chore: protect Std.BitVec\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "04f596ed38d535677f924f667533e0268a1a26f5",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Basic.lean",
      "new_id": "68066e8af632b43b87940398f76e6a5967a65cfa",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Basic.lean"
    }
  ]
}