Merge PR

Overview

Merge a prepared PR only after deterministic validation.

Inputs

• Ask for PR number or URL.
• If missing, use .local/prep.env from the PR worktree.

Safety

• Never use gh pr merge --auto in this flow.
• Never run git push directly.
• Require --match-head-commit during merge.
• Wrapper commands are cwd-agnostic; you can run them from repo root or inside the PR worktree.

Execution Contract