diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-06-03 17:01:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-03 17:01:43 +0100 |
commit | 86d814cdde3589af6fd2ad22acea614f4b409274 (patch) | |
tree | ddf58d9666e903849685fa24bd48bacabbceba6d | |
parent | Replace instances of reactor pumping with get_success. (#7619) (diff) | |
download | synapse-86d814cdde3589af6fd2ad22acea614f4b409274.tar.xz |
Check the changelog number in check-newsfragment (#7623)
Diffstat (limited to '')
-rw-r--r-- | changelog.d/7623.misc | 1 | ||||
-rwxr-xr-x | scripts-dev/check-newsfragment | 20 |
2 files changed, 17 insertions, 4 deletions
diff --git a/changelog.d/7623.misc b/changelog.d/7623.misc new file mode 100644 index 0000000000..34a6f6a6a2 --- /dev/null +++ b/changelog.d/7623.misc @@ -0,0 +1 @@ +Update CI scripts to check the number in the newsfile fragment. diff --git a/scripts-dev/check-newsfragment b/scripts-dev/check-newsfragment index 0ec5075e79..98a618f6b2 100755 --- a/scripts-dev/check-newsfragment +++ b/scripts-dev/check-newsfragment @@ -7,7 +7,9 @@ set -e # make sure that origin/develop is up to date git remote set-branches --add origin develop -git fetch origin develop +git fetch -q origin develop + +pr="$BUILDKITE_PULL_REQUEST" # if there are changes in the debian directory, check that the debian changelog # has been updated @@ -20,20 +22,30 @@ fi # if there are changes *outside* the debian directory, check that the # newsfragments have been updated. -if git diff --name-only FETCH_HEAD... | grep -qv '^debian/'; then - tox -e check-newsfragment +if ! git diff --name-only FETCH_HEAD... | grep -qv '^debian/'; then + exit 0 fi +tox -qe check-newsfragment + echo echo "--------------------------" echo -# check that any new newsfiles on this branch end with a full stop. +matched=0 for f in `git diff --name-only FETCH_HEAD... -- changelog.d`; do + # check that any modified newsfiles on this branch end with a full stop. lastchar=`tr -d '\n' < $f | tail -c 1` if [ $lastchar != '.' -a $lastchar != '!' ]; then echo -e "\e[31mERROR: newsfragment $f does not end with a '.' or '!'\e[39m" >&2 exit 1 fi + + # see if this newsfile corresponds to the right PR + [[ -n "$pr" && "$f" == changelog.d/"$pr".* ]] && matched=1 done +if [[ -n "$pr" && "$matched" -eq 0 ]]; then + echo -e "\e[31mERROR: Did not find a news fragment with the right number: expected changelog.d/$pr.*.\e[39m" >&2 + exit 1 +fi |