[nasm:master] misc/tag-release: default to --no-push

[nasm-bot f. H. P. A. <hp...@zy...>]

Commit-ID:  1ac2c2f55fab3fed6ca5b95dbea5fe63dec6bc9e
Gitweb:     http://repo.or.cz/w/nasm.git?a=commitdiff;h=1ac2c2f55fab3fed6ca5b95dbea5fe63dec6bc9e
Author:     H. Peter Anvin <hp...@zy...>
AuthorDate: Sun, 21 Feb 2016 21:07:11 -0800
Committer:  H. Peter Anvin <hp...@zy...>
CommitDate: Sun, 21 Feb 2016 21:07:11 -0800

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

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

Signed-off-by: H. Peter Anvin <hp...@zy...>


---
 misc/tag-release | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/misc/tag-release b/misc/tag-release
index 331e51a..9e3a0bd 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
         ;;