)]}'
{
  "commit": "1839eeee474f467f0904930774f6b4406c6a64e0",
  "tree": "690ec443f2fc863321680e3fc173c9711ee4a6fa",
  "parents": [
    "cfc597b0a75c752ff55298814e81b8e266754df5"
  ],
  "author": {
    "name": "Kyle Miller",
    "email": "kmill31415@gmail.com",
    "time": "Fri Apr 10 07:33:41 2026 -0700"
  },
  "committer": {
    "name": "Kyle Miller",
    "email": "kmill31415@gmail.com",
    "time": "Fri Apr 10 07:33:41 2026 -0700"
  },
  "message": "remove normalize\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d37f85ebc3307b56ee7a2197c13efbc4350a446a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/DecLevel.lean",
      "new_id": "c68d001ac5e28da67217ae5e5d48ebd811b9b964",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/DecLevel.lean"
    }
  ]
}