fix tag pushing in make-tag.sh

diff --git a/make-tag.sh b/make-tag.sh
index b93aa2c0061dcf4b7a227b4e8cfed7a302e8d523..dafbed8e83c681f9a3ed955f4ae7e37b7c22e568 100755 (executable)
--- a/make-tag.sh
+++ b/make-tag.sh
@@ -11,4 +11,4 @@ echo "Press ENTER to continue..."
 read a
 
 git tag -a "$tag" $rev
-git push --dry-run origin "refs/tags/$tag"
+git push origin "refs/tags/$tag"