Search

PythonReactSEOPDF
GitHub Skill

update-after-merge

Clean up after PR merge - switch to default branch, delete feature branch, pull latest

whoabuddy☆ 0 Repository stars4 Repository forks

Installation

Follow the repository instructions for this skill and your agent. Review the files and dependencies before adding it to your workflow.

View source ↗Guides

Skill instructions

Update After Merge Skill

Clean up local repository after a PR is merged.

Usage

/update-after-merge              # Clean up current feature branch
/update-after-merge branch-name  # Clean up specific branch

What It Does

  1. Checks for uncommitted changes (stash if needed)
  2. Switches to default branch (main/master)
  3. Pulls latest changes
  4. Deletes the merged feature branch (local)
  5. Deletes remote branch if still exists
  6. Prunes stale remote references

Safety

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

Runbook

Full procedure: runbook/update-after-merge.md in your knowledge base.

Examples

Read the usage examples in the source repository.

View source ↗

Source history

Indexed on
2026-01-20
Index updated
2026-02-04
Branch
main

Index and sync dates describe this directory. View the source repository for code history.

GitHub ↗

chat Comments (0)

chat_bubble_outline

No comments yet. Be the first to share your thoughts!