From eff29ac10d4bf53ad6ca58f0b32faa818c48dfca Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 21 Jan 2023 10:21:38 -1000
Subject: [PATCH] ;tools: push: refactor

---
 tools/push | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

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