mirror of
https://github.com/tj/git-extras.git
synced 2026-09-10 07:26:17 -04:00
Delete remote tag only if local was deleted
This commit is contained in:
parent
183efac185
commit
e2aeb48871
|
|
@ -1,5 +1,4 @@
|
|||
#!/bin/sh
|
||||
|
||||
test -z $1 && echo "tag required." && exit 1
|
||||
git tag -d $1
|
||||
git push origin :refs/tags/$1
|
||||
git tag -d $1 && git push origin :refs/tags/$1
|
||||
Loading…
Reference in a new issue