)]}'
{
  "commit": "413dee96f674c83368bedf71175506cd4506c1d3",
  "tree": "9962e4b9a289b7f95fb73d30e0e65e5b3af7b075",
  "parents": [
    "1c57b13d21b62f8d83c2b03bfc0a2cd7bdc14f9d"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Mon May 11 21:44:06 2026 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Mon May 11 21:44:06 2026 -0300"
  },
  "message": "fix: IO\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "70ce4e09b7422ee144d0056eee9ef0639d6a3b38",
      "old_mode": 33188,
      "old_path": "src/Std/Time/Zoned/Database.lean",
      "new_id": "bcb3aacf1b45f0c39d97f062a8ee7983e2b4cc4d",
      "new_mode": 33188,
      "new_path": "src/Std/Time/Zoned/Database.lean"
    }
  ]
}