Check PRs for changelog entry in the body

This commit is contained in:
flip1995 2019-04-25 15:45:52 +02:00
parent a73bb33399
commit a0f6c9361b
No known key found for this signature in database
GPG key ID: 693086869D506637

View file

@ -88,6 +88,19 @@ matrix:
- os: windows
script:
- |
if [ "$TRAVIS_BRANCH" == "auto" ] || [ "$TRAVIS_BRANCH" == "try" ]; then
output=$(curl -s "https://api.github.com/repos/rust-lang/rust-clippy/pulls/$TRAVIS_PULL_REQUEST" | \
python -c "import sys, json; print(json.load(sys.stdin)['body'])" | \
grep "changelog: " | \
sed "s/changelog: //g")
if [ -z "$output" ]; then
echo "ERROR: PR body must contain 'changelog: ...'"
exit 1
elif [ "$output" = "none" ]; then
echo "WARNING: changelog is 'none'"
fi
fi
- |
rm rust-toolchain
./setup-toolchain.sh