)]}'
{
  "commit": "d433093a3b3211eb5c10e4308c667a778cc2ba9a",
  "tree": "dfd7c8d75661743386a5ae09bc94d4bba80c9caf",
  "parents": [
    "77e21f2a6aaf6b9c9a4910abcd35238dceeb0054"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Mar 05 15:19:44 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Tue Mar 05 15:19:44 2024 +1100"
  },
  "message": "more theorems\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1f357de33ee0057887b7f92ea5429f02ee558832",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "72c64bef4d26283ed448fb8acce1f1749bddc167",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    }
  ]
}