Loading...
Loading...
Safely soft-delete a merged Git branch by switching to the default branch, pulling latest, and running `git branch -d`. Use when the user wants to clean up, remove, or delete a local branch after merging, or says "soft delete this branch" / "delete my branch". Escalates to the user instead of force-deleting if the branch is unmerged, except squash-merged PRs verified via `gh`.
npx skill4agent add rubenflamshepherd/ruben-agent-skills soft-delete-gitgit status --porcelaingit branch --show-currentgit symbolic-ref --short refs/remotes/origin/HEADorigin/mainorigin/maingit checkout <default-branch>git pullgit branch -d <branch-name>git branch -dgh pr view <branch-name> --json state,mergedAtMERGEDgit branch -D <branch-name>-d-D