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.
This commit is contained in:
Alexander Krasnukhin 2012-11-18 11:18:05 +01:00
parent 708c81934b
commit fbd2d8fe73

View file

@ -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