mirror of
https://github.com/rust-lang/rust-clippy
synced 2024-11-27 15:11:30 +00:00
grep only lines, that start with 'changelog: '
This commit is contained in:
parent
61ca901e51
commit
1c87df486e
1 changed files with 1 additions and 1 deletions
|
@ -94,7 +94,7 @@ script:
|
||||||
pr=$(echo $TRAVIS_COMMIT_MESSAGE | grep -o "#[0-9]*" | head -1 | sed 's/^#//g')
|
pr=$(echo $TRAVIS_COMMIT_MESSAGE | grep -o "#[0-9]*" | head -1 | sed 's/^#//g')
|
||||||
output=$(curl -H "Authorization: token $GITHUB_API_TOKEN" -s "https://api.github.com/repos/rust-lang/rust-clippy/pulls/$pr" | \
|
output=$(curl -H "Authorization: token $GITHUB_API_TOKEN" -s "https://api.github.com/repos/rust-lang/rust-clippy/pulls/$pr" | \
|
||||||
python -c "import sys, json; print(json.load(sys.stdin)['body'])" | \
|
python -c "import sys, json; print(json.load(sys.stdin)['body'])" | \
|
||||||
grep "changelog: " | \
|
grep "^changelog: " | \
|
||||||
sed "s/changelog: //g")
|
sed "s/changelog: //g")
|
||||||
if [ -z "$output" ]; then
|
if [ -z "$output" ]; then
|
||||||
echo "ERROR: PR body must contain 'changelog: ...'"
|
echo "ERROR: PR body must contain 'changelog: ...'"
|
||||||
|
|
Loading…
Reference in a new issue