Enhance github helper scripts (#9887)

This commit is contained in:
Scott Lahteine authored and GitHub committed 2018-03-01 20:40:53 -06:00
1 parent cd4c35c543
commit 63b13588a8
11 files changed
+34 -21

No files matched your search

+1 -1
View File
@@ -6,7 +6,7 @@
# By default: `git push upstream HEAD:bugfix-1.1.x`
#
[[ $# < 3 ]] || { echo "Usage: `basename $0` [1|2] [commit-id]" 1>&2 ; exit 1; }
[[ $# < 3 && $1 != "-h" && $1 != "--help" ]] || { echo "Usage: `basename $0` [1|2] [commit-id]" 1>&2 ; exit 1; }
if [[ $1 == '1' || $1 == '2' ]]; then
MFINFO=$(mfinfo "$1") || exit 1