update-after-merge
Clean up after PR merge - switch to default branch, delete feature branch, pull latest
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
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
- Checks for uncommitted changes (stash if needed)
- Switches to default branch (main/master)
- Pulls latest changes
- Deletes the merged feature branch (local)
- Deletes remote branch if still exists
- 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.
Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-20
- Mise à jour de l’index
- 2026-02-04
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!