Tweak mf helper scripts
This commit is contained in:
		| @@ -4,7 +4,7 @@ | ||||
| # | ||||
| #  - git add . | ||||
| #  - git commit --amend | ||||
| #  - ghpc | ||||
| #  - git push -f | ||||
| # | ||||
|  | ||||
| MFINFO=$(mfinfo "$@") || exit 1 | ||||
| @@ -17,6 +17,7 @@ IND=6 | ||||
| while [ $IND -lt ${#INFO[@]} ]; do | ||||
|   ARG=${INFO[$IND]} | ||||
|   case "$ARG" in | ||||
|     -f|--force ) FORCE=1 ;; | ||||
|      -h|--help ) USAGE=1 ;; | ||||
|              * ) USAGE=1 ; echo "unknown option: $ARG" ;; | ||||
|   esac | ||||
| @@ -25,6 +26,6 @@ done | ||||
|  | ||||
| [[ $USAGE == 1 ]] && { echo "usage: `basename $0` [1|2|3]" 1>&2 ; exit 1 ; } | ||||
|  | ||||
| [[ $CURR == $TARG && $REPO != "MarlinDocumentation" ]] && { echo "Don't alter the PR Target branch."; exit 1 ; } | ||||
| [[ $FORCE != 1 && $CURR == $TARG && $REPO != "MarlinDocumentation" ]] && { echo "Don't alter the PR Target branch."; exit 1 ; } | ||||
|  | ||||
| git add . && git commit --amend && git push -f | ||||
|   | ||||
		Reference in New Issue
	
	Block a user