)]}'
{
  "commit": "332cddd1287ff46f62cb1e9e6e2fa43c3f127763",
  "tree": "a90f8c4826eb197595c8fb11ac12b18da0231ab6",
  "parents": [
    "50fcca814d28cd6d7ac5a688b0ab9bc707e5b5d0"
  ],
  "author": {
    "name": "Wojciech Nawrocki",
    "email": "wjn@lean-fro.org",
    "time": "Wed Jul 22 15:34:49 2026 -0400"
  },
  "committer": {
    "name": "Wojciech Nawrocki",
    "email": "wjn@lean-fro.org",
    "time": "Wed Jul 22 15:34:49 2026 -0400"
  },
  "message": "fix: typo\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "97fc7626c79371ebef29ed65ad88c5f3b9660a73",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Module.lean",
      "new_id": "6b9ee05e7f7f4eb90ab3e26882bd32c70f710577",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Module.lean"
    }
  ]
}