)]}'
{
  "commit": "89c93628052eb4102f29e234ec732cfd37dfce7f",
  "tree": "673c4c06b66bd2a1f24bb74ffe3b033e47a35432",
  "parents": [
    "e9a55bfff7ad65cb9890ef058e6f9f059ca18630"
  ],
  "author": {
    "name": "Sebastian Graf",
    "email": "sg@lean-fro.org",
    "time": "Fri Jul 04 08:47:38 2025 +0200"
  },
  "committer": {
    "name": "Sebastian Graf",
    "email": "sg@lean-fro.org",
    "time": "Fri Jul 04 14:10:27 2025 +0200"
  },
  "message": "fix: Scope `PostCond.total` to `Std.Do` by making it non-builtin\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "200e4765e32f1d254d4f197f278ac4c721c3debb",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Do/Syntax.lean",
      "new_id": "08c8732eebed50d53f9e07b0c51323569334bedb",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Do/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "358a5a26fd9aca14688445676a269b4a712aa52d",
      "old_mode": 33188,
      "old_path": "src/Std/Do/PostCond.lean",
      "new_id": "b960f261dfd0ab2642422bcd909260f0b6906da3",
      "new_mode": 33188,
      "new_path": "src/Std/Do/PostCond.lean"
    },
    {
      "type": "modify",
      "old_id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "old_mode": 33188,
      "old_path": "stage0/src/stdlib_flags.h",
      "new_id": "ba1bc80684b771f0533f69758e065ea140d821ec",
      "new_mode": 33188,
      "new_path": "stage0/src/stdlib_flags.h"
    }
  ]
}