From fbd2d8fe73c65e4387e972229c1cfcbf3a590473 Mon Sep 17 00:00:00 2001 From: Alexander Krasnukhin Date: Sun, 18 Nov 2012 11:18:05 +0100 Subject: [PATCH] Delete tag on origin even if it wasn't locally fetched yet. This should keep consistent logic among scripts i.e. git-delete-tag should behave the same way as git-delete-branch. --- bin/git-delete-tag | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/git-delete-tag b/bin/git-delete-tag index 506a575..c93a5d0 100755 --- a/bin/git-delete-tag +++ b/bin/git-delete-tag @@ -2,4 +2,5 @@ tagname=$1 test -z $tagname && echo "tag required." 1>&2 && exit 1 -git tag -d $tagname && git push origin :refs/tags/$tagname +git tag -d $tagname +git push origin :refs/tags/$tagname