Auto merge of #7070 - camsteffen:changelog-stderr, r=camsteffen

Output changelog error to stderr

Error messages are more helpful if you can see them.

Author: bors

.github/workflows/clippy_bors.yml

@@ -34,15 +34,19 @@ jobs:
       run: |
         MESSAGE=$(git log --format=%B -n 1)
         PR=$(echo "$MESSAGE" | grep -o "#[0-9]*" | head -1 | sed -e 's/^#//')
-        output=$(curl -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -s "https://api.github.com/repos/rust-lang/rust-clippy/pulls/$PR" | \
-          python -c "import sys, json; print(json.load(sys.stdin)['body'])" | \
-          grep "^changelog: " | \
-          sed "s/changelog: //g")
+        body=$(curl -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -s "https://api.github.com/repos/rust-lang/rust-clippy/pulls/$PR" | \
+          python -c "import sys, json; print(json.load(sys.stdin)['body'])")
+        output=$(grep "^changelog: " <<< "$body" | sed "s/changelog: //g") || {
+          echo 'ERROR: Could not find "changelog: ..." in the PR body' >&2
+          exit 1
+        }
         if [[ -z "$output" ]]; then
-          echo "ERROR: PR body must contain 'changelog: ...'"
+          echo "ERROR: PR body must contain 'changelog: ...'" >&2
           exit 1
         elif [[ "$output" = "none" ]]; then
           echo "WARNING: changelog is 'none'"
+        else
+          echo "changelog: $output"
         fi
       env:
         PYTHONIOENCODING: 'utf-8'