diff options
| author | Erik Johnston <erik@matrix.org> | 2018-09-13 12:57:09 +0100 |
|---|---|---|
| committer | Erik Johnston <erik@matrix.org> | 2018-09-13 12:57:09 +0100 |
| commit | 93139a1fb8061b709e0bc62fc4f05c94940c2625 (patch) | |
| tree | f0904daf581f7252fc7da428e97ac021c7004a70 /.circleci/merge_base_branch.sh | |
| parent | Newsfile (diff) | |
| parent | Remove some superfluous logging (#3855) (diff) | |
| download | synapse-93139a1fb8061b709e0bc62fc4f05c94940c2625.tar.xz | |
Merge branch 'develop' of github.com:matrix-org/synapse into erikj/speed_up_purge
Diffstat (limited to '.circleci/merge_base_branch.sh')
| -rwxr-xr-x | .circleci/merge_base_branch.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/merge_base_branch.sh b/.circleci/merge_base_branch.sh index 2d700dbf11..4e297d77da 100755 --- a/.circleci/merge_base_branch.sh +++ b/.circleci/merge_base_branch.sh @@ -4,7 +4,7 @@ set -e # CircleCI doesn't give CIRCLE_PR_NUMBER in the environment for non-forked PRs. Wonderful. # In this case, we just need to do some ~shell magic~ to strip it out of the PULL_REQUEST URL. -echo 'export CIRCLE_PR_NUMBER="${CIRCLE_PR_NUMBER:-${CIRCLE_PULL_REQUEST##*/}}"' >> "$BASH_ENV" +echo 'export CIRCLE_PR_NUMBER="${CIRCLE_PR_NUMBER:-${CIRCLE_PULL_REQUEST##*/}}"' >> $BASH_ENV source $BASH_ENV if [[ -z "${CIRCLE_PR_NUMBER}" ]] |