)]}'
{
  "commit": "fd68e4d619d13e3a9dde19a62c65752421a1dc42",
  "tree": "a1ef4c47ce88dcabc78c87158078c62414f5faa0",
  "parents": [
    "ea75c924a1ab4bb25f4d2e144a141f899da7ba32"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 25 10:48:27 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 25 10:48:27 2024 +1000"
  },
  "message": "chore: missing BitVec lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e26803b3fe39e5c256f8bea9f556a8dd3419a8e2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "497c06b8674d52545a24bfb4aad27002eb8215a4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    }
  ]
}