diff options
author | Amber Brown <hawkowl@atleastfornow.net> | 2018-09-12 23:29:21 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-12 23:29:21 +1000 |
commit | 65cd8ccc795657c3ff96b41712a95ff890a0d184 (patch) | |
tree | 10794711175e88a7df06651028ff4d47ce7b68ba /.circleci/merge_base_branch.sh | |
parent | Port federation/ to py3 (#3847) (diff) | |
download | synapse-65cd8ccc795657c3ff96b41712a95ff890a0d184.tar.xz |
Add JUnit summaries to CircleCI as well as merged runs (#3704)
Diffstat (limited to '.circleci/merge_base_branch.sh')
-rwxr-xr-x | .circleci/merge_base_branch.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/.circleci/merge_base_branch.sh b/.circleci/merge_base_branch.sh new file mode 100755 index 0000000000..2d700dbf11 --- /dev/null +++ b/.circleci/merge_base_branch.sh @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +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" +source $BASH_ENV + +if [[ -z "${CIRCLE_PR_NUMBER}" ]] +then + echo "Can't figure out what the PR number is!" + exit 1 +fi + +# Get the reference, using the GitHub API +GITBASE=`curl -q https://api.github.com/repos/matrix-org/synapse/pulls/${CIRCLE_PR_NUMBER} | jq -r '.base.ref'` + +# Show what we are before +git show -s + +# Fetch and merge. If it doesn't work, it will raise due to set -e. +git fetch -u origin $GITBASE +git merge --no-edit origin/$GITBASE + +# Show what we are after. +git show -s \ No newline at end of file |