)]}'
{
  "commit": "aade4b1749ef2ee288b31e620717e20657411d93",
  "tree": "d7a0d646033b9ed57a2d0d7fb85ad11d65333cbd",
  "parents": [
    "a4dcb25f69e020bcd0328ff189cad5be40159edc"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 22 13:57:33 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 22 13:57:33 2025 +0200"
  },
  "message": "chore: normalize empty ByteArrays to .empty\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bc0f7e658c7a151b56d2d646d64ad04fdf7babc0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/ByteArray/Lemmas.lean",
      "new_id": "271f11bc8c207aa27e37d06bdac36433a290a60a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/ByteArray/Lemmas.lean"
    }
  ]
}