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

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

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
This commit is contained in:
H. Peter Anvin 2016-02-21 21:07:11 -08:00
parent 021b10ca14
commit 1ac2c2f55f

View File

@ -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
;;