Rechercher

PythonReactSEOPDF
GitHub Skill

update-after-merge

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

whoabuddy☆ 0 Étoiles du dépôt4 Forks du dépôt

Installation

Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.

Voir la source ↗Guides

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.

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)

chat_bubble_outline

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