mango-next

Merge a GitHub PR (or confirm already merged), delete the feature branch, checkout main, and sync local. Use when user says merge the PR, PR merged clean up, switch back to main and delete the feat branch.

Ship work: ensure feature branch, confirm commit plan, commit, push, open GitHub PR. Use when user says ship, open PR, commit and push, create PR, or 'ok close the task and create PR'.