#173 added dev tag recreation, to reset dev release date

bugy · Jan 22, 2023 · eaef0bd · eaef0bd
1 parent 3586a00
commit eaef0bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/add_git_tag.sh b/tools/add_git_tag.sh
@@ -8,7 +8,7 @@ fi
 if [ "$TRAVIS_BRANCH" == "master" ]; then
     export NEW_GIT_TAG='dev'
     git tag -d 'dev'
-    git push --delete 'dev'
+    git push --delete origin 'dev'
 
 elif [ "$TRAVIS_BRANCH" == "stable" ]; then
     version=`unzip -qc build/script-server.zip version.txt`