diff --git a/tools/add_git_tag.sh b/tools/add_git_tag.sh
index 4bbc8095..c0e9b001 100755
--- 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 'dev'
+    git push --delete 'dev'
 
 elif [ "$TRAVIS_BRANCH" == "stable" ]; then
     version=`unzip -qc build/script-server.zip version.txt`