misc/tag-release: default to --no-push

--no-push is by far the safer default.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

1 files changed, 5 insertions, 3 deletions

diff --git a/misc/tag-release b/misc/tag-release
index 331e51a9..9e3a0bd0 100755
--- a/misc/tag-release
+++ b/misc/tag-release
@@ -3,10 +3,9 @@
 version=""
 repo=""
 branch=""
-push=1
+push=0
 
-for opt in $*
-do
+for opt; do
     case "$opt" in
     --ver=*)
         version=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
@@ -17,6 +16,9 @@ do
     --branch=*)
         branch=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
         ;;
+    --push)
+	push=1
+	;;
     --no-push)
         push=0
         ;;