diff options
| author | David Robertson <david.m.robertson1@gmail.com> | 2021-08-10 12:15:10 +0100 |
|---|---|---|
| committer | David Robertson <david.m.robertson1@gmail.com> | 2021-08-10 16:38:13 +0100 |
| commit | 03fb99a5c8dbe67cf300986e76ea0e8183641211 (patch) | |
| tree | 6f97f3b34e1a2f5b15578b7e5a92138f69473246 /scripts-dev/check-newsfragment | |
| parent | Move test_old_deps.sh to new ci dir (diff) | |
| download | synapse-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 'scripts-dev/check-newsfragment')
| -rwxr-xr-x | scripts-dev/check-newsfragment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts-dev/check-newsfragment b/scripts-dev/check-newsfragment index af6d32e332..393a548d58 100755 --- a/scripts-dev/check-newsfragment +++ b/scripts-dev/check-newsfragment @@ -11,7 +11,7 @@ set -e git remote set-branches --add origin develop git fetch -q origin develop -pr="$BUILDKITE_PULL_REQUEST" +pr="$PULL_REQUEST_NUMBER" # if there are changes in the debian directory, check that the debian changelog # has been updated |