;tools: push: refactor

This commit is contained in:
Simon Michael 2023-01-21 10:21:38 -10:00
parent 7a5676dde4
commit eff29ac10d

View File

@ -6,6 +6,7 @@ set -e
INTERVAL="${1:-10}" INTERVAL="${1:-10}"
LOCALBRANCH=master LOCALBRANCH=master
REMOTE=github
REMOTECIBRANCH=simon REMOTECIBRANCH=simon
REMOTEMAINBRANCH=master REMOTEMAINBRANCH=master
NUMRUNS=3 NUMRUNS=3
@ -37,11 +38,11 @@ ciwait() {
echo "latest local commits are:" echo "latest local commits are:"
gitlog gitlog
echo "force-pushing $LOCALBRANCH to github/$REMOTECIBRANCH" echo "force-pushing $LOCALBRANCH to $REMOTE/$REMOTECIBRANCH"
git push -f github $LOCALBRANCH:$REMOTECIBRANCH git push -f $REMOTE $LOCALBRANCH:$REMOTECIBRANCH
ciwait ciwait
echo "pushing CI-passing $LOCALBRANCH to $REMOTEMAINBRANCH" echo "pushing CI-passing $LOCALBRANCH to $REMOTE/$REMOTEMAINBRANCH"
git push github $LOCALBRANCH:$REMOTEMAINBRANCH git push $REMOTE $LOCALBRANCH:$REMOTEMAINBRANCH
echo "latest commits on github/$REMOTEMAINBRANCH are:" echo "latest commits on $REMOTE/$REMOTEMAINBRANCH are:"
gitlog github/$REMOTEMAINBRANCH gitlog $REMOTE/$REMOTEMAINBRANCH
echo "done" echo "done"