diff --git a/publish_production_fakeyou.sh b/publish_production_fakeyou.sh new file mode 100755 index 0000000000..57ec5a9364 --- /dev/null +++ b/publish_production_fakeyou.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -euxo pipefail + +MASTER_BRANCH='master' +PRODUCTION_BRANCH='production-fakeyou' + +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_storyteller.sh b/publish_production_storyteller.sh new file mode 100755 index 0000000000..129cac9e4b --- /dev/null +++ b/publish_production_storyteller.sh @@ -0,0 +1,21 @@ +#!/bin/bash + +set -euxo pipefail + +MASTER_BRANCH='master' +PRODUCTION_BRANCH='production-storyteller' + +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 +