)]}'
{
  "commit": "6c6f9a5d833e771bc24ad9cd88774a76f5de9f8a",
  "tree": "fd424989234d25162dd6128feb5124745129424a",
  "parents": [
    "a7aea9a12d8f22bcca2faf497c8b3e1d0e2d54c2"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Wed Mar 04 10:00:41 2026 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Wed Mar 04 10:00:41 2026 -0300"
  },
  "message": "refactor: change Char.isDigit and Char.isAlpha\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bff3aa98d8d7821dc0189a829df683f489aa1682",
      "old_mode": 33188,
      "old_path": "src/Std/Internal/Http/Internal/Char.lean",
      "new_id": "6ff1589a3ac2b6f435ad5a8037c3e3edad7f7772",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/Http/Internal/Char.lean"
    }
  ]
}