Update scripts
This commit is contained in:
parent
2c84b2effa
commit
34cb04dc6d
5 changed files with 45 additions and 14 deletions
.bin
|
@ -1,10 +1,10 @@
|
|||
#!/usr/bin/env sh
|
||||
|
||||
echo "Deleting tag from origin"
|
||||
git push --delete origin "$1"
|
||||
git push --delete origin "v$1"
|
||||
|
||||
echo "Deleting tag locally"
|
||||
git tag -d "$1"
|
||||
git tag -d "v$1"
|
||||
|
||||
echo "Recreating tag"
|
||||
git tag -s -m "$1" "$1"
|
||||
git vtag "$1"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue