Finish Branch - Post-Merge Cleanup

Overview

This skill handles the cleanup after a PR has been merged. It will:

1. Verify the PR is actually merged (REQUIRED before any cleanup)
2. Delete the git worktree
3. Delete the local and remote branch
4. Close any related GitHub issues

IMPORTANT: This skill will NOT delete anything unless the PR is confirmed merged.

Usage

Invoke this skill when:

• Your PR has been merged and you want to clean up
• You finished an experiment and the results are merged to main
• You need to remove an old worktree after successful merge