)]}'
{
  "commit": "c7fd8733334bb0053e4e7ce39b4d241abe08f456",
  "tree": "161cde3aab47fc5e6eeb35d4287d9f1d3e074964",
  "parents": [
    "a10ce9492fa1240398c59cc6938e2738a750a3a6"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Wed Jan 15 14:36:16 2025 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jan 15 15:17:36 2025 +0100"
  },
  "message": "feat: tag lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d5e99c1c886c5da8b53c9cd56f07de28a624fdf3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/UInt/Bitwise.lean",
      "new_id": "deb8f6d23c4bac89f2c1ee3f6ef351ce00d23ecc",
      "new_mode": 33188,
      "new_path": "src/Init/Data/UInt/Bitwise.lean"
    },
    {
      "type": "modify",
      "old_id": "b94dd0c2c9aabf242704c2619b8ff599d056f829",
      "old_mode": 33188,
      "old_path": "src/Init/Data/UInt/Lemmas.lean",
      "new_id": "f6ff06f5a3c0e99042a2b42bfe590d36d885e9f6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/UInt/Lemmas.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1e406c53969f59af370f49500edc30db382ad125",
      "new_mode": 33188,
      "new_path": "tests/lean/run/int_toBitVec.lean"
    }
  ]
}