git-prune
Skillby majiayu000
This skill should be used when pruning local branches that have been deleted on the remote. It fetches remote changes, identifies stale local branches, and safely deletes them.
Details
- Path
- integration/git-prune/SKILL.md
- Allowed tools
- 1
Allowed tools
Bash