summary refs log tree commit diff
path: root/.buildkite
diff options
context:
space:
mode:
authorDavid Robertson <david.m.robertson1@gmail.com>2021-08-10 12:15:10 +0100
committerDavid Robertson <david.m.robertson1@gmail.com>2021-08-10 16:38:13 +0100
commit03fb99a5c8dbe67cf300986e76ea0e8183641211 (patch)
tree6f97f3b34e1a2f5b15578b7e5a92138f69473246 /.buildkite
parentMove test_old_deps.sh to new ci dir (diff)
downloadsynapse-03fb99a5c8dbe67cf300986e76ea0e8183641211.tar.xz
check-newsfragment: pass pr number explicitly
use PULL_REQUEST_NUMBER instead of BUILDKITE_PULL_REQUEST
remove the other user of BUILDKITE_PULL_REQUEST, namely merge_base_branch.sh
Diffstat (limited to '.buildkite')
-rw-r--r--.buildkite/.env1
-rwxr-xr-x.buildkite/merge_base_branch.sh35
2 files changed, 0 insertions, 36 deletions
diff --git a/.buildkite/.env b/.buildkite/.env

index 85b102d07f..a2969b96a1 100644 --- a/.buildkite/.env +++ b/.buildkite/.env
@@ -7,7 +7,6 @@ BUILDKITE_JOB_ID BUILDKITE_BUILD_URL BUILDKITE_PROJECT_SLUG BUILDKITE_COMMIT -BUILDKITE_PULL_REQUEST BUILDKITE_TAG CODECOV_TOKEN TRIAL_FLAGS diff --git a/.buildkite/merge_base_branch.sh b/.buildkite/merge_base_branch.sh deleted file mode 100755
index 361440fd1a..0000000000 --- a/.buildkite/merge_base_branch.sh +++ /dev/null
@@ -1,35 +0,0 @@ -#!/usr/bin/env bash - -set -e - -if [[ "$BUILDKITE_BRANCH" =~ ^(develop|master|dinsic|shhs|release-.*)$ ]]; then - echo "Not merging forward, as this is a release branch" - exit 0 -fi - -if [[ -z $BUILDKITE_PULL_REQUEST_BASE_BRANCH ]]; then - echo "Not a pull request, or hasn't had a PR opened yet..." - - # It probably hasn't had a PR opened yet. Since all PRs land on develop, we - # can probably assume it's based on it and will be merged into it. - GITBASE="develop" -else - # Get the reference, using the GitHub API - GITBASE=$BUILDKITE_PULL_REQUEST_BASE_BRANCH -fi - -echo "--- merge_base_branch $GITBASE" - -# Show what we are before -git --no-pager show -s - -# Set up username so it can do a merge -git config --global user.email bot@matrix.org -git config --global user.name "A robot" - -# Fetch and merge. If it doesn't work, it will raise due to set -e. -git fetch -u origin $GITBASE -git merge --no-edit --no-commit origin/$GITBASE - -# Show what we are after. -git --no-pager show -s