/merged - Post-Merge Cleanup

"Clean up after the merge."

After your PR is merged, this skill handles the cleanup: switch to main, pull latest, delete the merged branch.

Usage

/merged # Cleanup current merged branch

Steps

Step 1: Get current branch name

BRANCH=$(git branch --show-current) echo "Current branch: $BRANCH"

If already on main or master , stop — nothing to clean up.

Step 2: Switch to main and pull

git checkout main git pull origin main

Step 3: Delete the merged feature branch

Delete local branch

git branch -d $BRANCH

Delete remote branch (if it still exists)

git push origin --delete $BRANCH 2>/dev/null || echo "Remote branch already deleted"

Step 4: Confirm cleanup

echo "✅ Cleanup complete" git branch -a | head -10 git log --oneline -3

Output

✅ Post-Merge Cleanup

• Switched to: main
• Pulled latest: [commit hash]
• Deleted branch: [branch-name]
• Ready for next task

Latest commits on main:

• [hash] [message]
• [hash] [message]
• [hash] [message]

When to Use

After your PR is merged on GitHub:

PR merged on GitHub ↓ /merged ↓ ✅ Back on main, branch cleaned up

Safety

• Uses git branch -d (safe delete) — won't delete unmerged branches

• Checks if remote branch exists before deleting

• Won't run if already on main

ARGUMENTS: $ARGUMENTS