Description

Add parsec merge [ticket] to merge a PR directly from the terminal.

Details

• parsec merge <ticket> — merge the ticket's PR on GitHub
• parsec merge <ticket> --squash — squash merge (default)
• parsec merge <ticket> --rebase — rebase merge
• parsec merge <ticket> --delete-branch — delete branch after merge (default: true)
• Auto-detects current worktree ticket if no argument given
• Waits for CI to pass before merging (with --no-wait to skip)

Replaces

• gh pr merge <number> --squash --delete-branch

Implementation

• Use GitHub REST API PUT /repos/{owner}/{repo}/pulls/{pull_number}/merge
• Check CI status before merge attempt
• Clean up local worktree after successful merge
• Integrate with oplog for undo support

Priority

High — second most frequent tool-switch