mirror of
https://github.com/tj/git-extras.git
synced 2026-09-10 07:26:17 -04:00
Merge pull request #155 from themalkolm/patch-4
Delete tag on origin even if it wasn't locally fetched yet.
This commit is contained in:
commit
446bcd6f11
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in a new issue