Delete tag if already exist locally

2021-05-19 11:43:06 +02:00 · 2021-05-19 11:43:06 +02:00 · 8be7c5b860
commit 8be7c5b860
parent 037eddd5a2
1 changed files with 2 additions and 2 deletions
--- a/scripts/finish_release.sh
+++ b/scripts/finish_release.sh
@ -16,8 +16,8 @@ fi
 BRANCH=$(git branch --show-current)

 if git tag | grep -q "$2" ; then
-    echo "Tag $2 already exists"
-    exit 1
+    echo "Tag $2 already existed locally, deleting it"
+    git tag -d "$2"
 fi

 git fetch