Force deletion of the feature branch after finish.

nvie · nvie · commit e761e355f4c2 · 2010-07-08T14:41:14.000+02:00
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.
diff --git a/git-flow-feature b/git-flow-feature
@@ -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:"
