diff --git a/script/ci/merge_branch_to_master.sh b/script/ci/merge_branch_to_master.sh new file mode 100755 index 0000000000..0bb07b43e2 --- /dev/null +++ b/script/ci/merge_branch_to_master.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +set -e +source ./script/ci/includes.sh + +echo "--- Verifying branch is based on current master" +exit_unless_master_merged + +echo "--- Pushing branch" +echo git push origin $BUILDKITE_COMMIT:master