diff --git a/publish_production_powerstream.sh b/publish_production_powerstream.sh new file mode 100755 index 0000000000..a75afdb7ed --- /dev/null +++ b/publish_production_powerstream.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -euxo pipefail + +MASTER_BRANCH='master' +PRODUCTION_BRANCH='production-powerstream' + +git stash +git checkout $MASTER_BRANCH +git pull + +if git show-ref --verify --quiet "refs/heads/$PRODUCTION_BRANCH"; then + echo "Deleting branch ${PRODUCTION_BRANCH}" + git branch -D $PRODUCTION_BRANCH +fi + +git checkout -b $PRODUCTION_BRANCH +git push --set-upstream origin $PRODUCTION_BRANCH + +git checkout $MASTER_BRANCH + diff --git a/publish_production_powerstream_dash.sh b/publish_production_powerstream_dash.sh new file mode 100755 index 0000000000..8fad77ac8a --- /dev/null +++ b/publish_production_powerstream_dash.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -euxo pipefail + +MASTER_BRANCH='master' +PRODUCTION_BRANCH='production-powerstream-dash' + +git stash +git checkout $MASTER_BRANCH +git pull + +if git show-ref --verify --quiet "refs/heads/$PRODUCTION_BRANCH"; then + echo "Deleting branch ${PRODUCTION_BRANCH}" + git branch -D $PRODUCTION_BRANCH +fi + +git checkout -b $PRODUCTION_BRANCH +git push --set-upstream origin $PRODUCTION_BRANCH + +git checkout $MASTER_BRANCH + diff --git a/publish_production_powerstream_obs.sh b/publish_production_powerstream_obs.sh new file mode 100755 index 0000000000..54fb1fb1d3 --- /dev/null +++ b/publish_production_powerstream_obs.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -euxo pipefail + +MASTER_BRANCH='master' +PRODUCTION_BRANCH='production-powerstream-obs' + +git stash +git checkout $MASTER_BRANCH +git pull + +if git show-ref --verify --quiet "refs/heads/$PRODUCTION_BRANCH"; then + echo "Deleting branch ${PRODUCTION_BRANCH}" + git branch -D $PRODUCTION_BRANCH +fi + +git checkout -b $PRODUCTION_BRANCH +git push --set-upstream origin $PRODUCTION_BRANCH + +git checkout $MASTER_BRANCH +