Merge pull request tj#163 from pitr/patch-1

fix delete-branch to work with same-name tags
gisphm · Jan 27, 2013 · 8eeed27 · 8eeed27
2 parents e94413f + a06d552
commit 8eeed27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/git-delete-branch b/bin/git-delete-branch
@@ -4,4 +4,4 @@ branch=$1
 test -z $branch && echo "branch required." 1>&2 && exit 1
 git branch -D $branch
 git branch -d -r origin/$branch
-git push origin :$branch
+git push origin :refs/heads/$branch