master - new file: sync-public-branch.sh

lj020326 · Jun 28, 2023 · 37c0307 · 37c0307
1 parent 644bddd
commit 37c0307
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/sync-public-branch.sh b/sync-public-branch.sh
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+GIT_DEFAULT_BRANCH=master
+GIT_REMOTE_PUBLIC=github
+
+## ref: https://intoli.com/blog/exit-on-errors-in-bash-scripts/
+# exit when any command fails
+set -e
+
+echo "Push to public repo:"
+git push "${GIT_REMOTE_PUBLIC}" "${GIT_DEFAULT_BRANCH}"