2017-04-21 04:27:32 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
#
|
2021-11-03 13:02:21 +01:00
|
|
|
# mfqp [1|2]
|
2017-04-21 04:27:32 +02:00
|
|
|
#
|
2020-02-03 15:33:35 +01:00
|
|
|
# - git add .
|
|
|
|
# - git commit --amend
|
2021-03-24 05:58:53 +01:00
|
|
|
# - git push -f
|
2017-04-21 04:27:32 +02:00
|
|
|
#
|
|
|
|
|
2017-11-04 23:33:00 +01:00
|
|
|
MFINFO=$(mfinfo "$@") || exit 1
|
2017-07-03 03:43:57 +02:00
|
|
|
IFS=' ' read -a INFO <<< "$MFINFO"
|
|
|
|
REPO=${INFO[2]}
|
|
|
|
TARG=${INFO[3]}
|
2017-11-04 23:33:00 +01:00
|
|
|
CURR=${INFO[5]}
|
2017-04-21 04:27:32 +02:00
|
|
|
|
2019-02-02 21:03:10 +01:00
|
|
|
IND=6
|
|
|
|
while [ $IND -lt ${#INFO[@]} ]; do
|
|
|
|
ARG=${INFO[$IND]}
|
|
|
|
case "$ARG" in
|
2021-03-24 05:58:53 +01:00
|
|
|
-f|--force ) FORCE=1 ;;
|
2019-02-02 21:03:10 +01:00
|
|
|
-h|--help ) USAGE=1 ;;
|
|
|
|
* ) USAGE=1 ; echo "unknown option: $ARG" ;;
|
|
|
|
esac
|
|
|
|
let IND+=1
|
|
|
|
done
|
|
|
|
|
2021-11-03 13:02:21 +01:00
|
|
|
[[ $USAGE == 1 ]] && { echo "usage: `basename $0` [1|2]" 1>&2 ; exit 1 ; }
|
2019-02-02 21:03:10 +01:00
|
|
|
|
2021-03-24 05:58:53 +01:00
|
|
|
[[ $FORCE != 1 && $CURR == $TARG && $REPO != "MarlinDocumentation" ]] && { echo "Don't alter the PR Target branch."; exit 1 ; }
|
2019-02-02 21:03:10 +01:00
|
|
|
|
2020-02-03 15:33:35 +01:00
|
|
|
git add . && git commit --amend && git push -f
|