summary refs log tree commit diff
path: root/.circleci/merge_base_branch.sh
diff options
context:
space:
mode:
authorAmber Brown <hawkowl@atleastfornow.net>2018-09-13 19:59:32 +1000
committerGitHub <noreply@github.com>2018-09-13 19:59:32 +1000
commitb7d2fb5eb9c55f95048444bb6703abbf2fe14c5c (patch)
tree3a3bf90a8140011c23d30c01b544d607f15cd33b /.circleci/merge_base_branch.sh
parentMerge pull request #3846 from matrix-org/neilj/expose-registered-users (diff)
downloadsynapse-b7d2fb5eb9c55f95048444bb6703abbf2fe14c5c.tar.xz
Remove some superfluous logging (#3855)
Diffstat (limited to '.circleci/merge_base_branch.sh')
-rwxr-xr-x.circleci/merge_base_branch.sh2
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}" ]]