What problem does it solve? After a pull request merges, developers often forget to delete the feature branch or, worse, delete a branch whose work never actually landed upstream — losing commits permanently. This Skill gates all destructive actions behind an authoritative GitHub merge check, then safely removes the local and remote branch and fast-forwards the default branch. ## Core Features & Use Cases - Hard merge verification gate: Uses gh pr view to confirm PR state is MERGED with a non-null mergedAt before anything destructive runs, correctly handling squash and rebase merges where the local commit graph looks unmerged. - Safe branch deletion: Refreshes the default branch with git pull --ff-only, deletes the local branch with -d (falling back to -D only when the merge is verified), and removes the remote branch if GitHub did not auto-delete it. - Worktree and divergence handling: Detects linked worktrees (Orca ADE) where branch switching is impossible, and halts with a clear error when the local default branch has diverged from origin. - Use Case: You just merged PR #42 from branch feature/login. Ask the assistant to clean up after the merge — it confirms the PR merged, switches to main, pulls the latest, and deletes feature/login locally and remotely. ## Quick Start Tell the assistant: the PR for my current branch is merged, clean up the branch and switch me back to main.
