Force deletion of the feature branch after finish.
This fix also works when feature branches are created manually, based on remote (i.e. other developers) feature branches, to work on features together. `git branch -d` won't remove local feature branches that are set up to track remote branches, `-D` will. Fixes ticket #31.
This commit is contained in:
parent
06a5de7111
commit
e761e355f4
1 changed files with 1 additions and 1 deletions
|
@ -320,7 +320,7 @@ helper_finish_cleanup() {
|
|||
if flag fetch; then
|
||||
git push "$ORIGIN" ":refs/heads/$BRANCH"
|
||||
fi
|
||||
git branch -d "$BRANCH"
|
||||
git branch -D "$BRANCH"
|
||||
|
||||
echo
|
||||
echo "Summary of actions:"
|
||||
|
|
Loading…
Reference in a new issue