fix tag pushing in make-tag.sh

diff --git a/make-tag.sh b/make-tag.sh
index a1cd511a1978120f2a787e61e5c48d0300f73085..bd537fc84faabf31070460834f363fca885dd31e 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"