From 27ddde561efbf0acd3582cfa4e6152e581a93b22 Mon Sep 17 00:00:00 2001 From: flip1995 Date: Mon, 12 Aug 2019 09:38:52 +0200 Subject: [PATCH] Filter out PRs with changelog: none --- util/fetch_prs_between.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh index dbe73b1ba985..36b4785ac87e 100755 --- a/util/fetch_prs_between.sh +++ b/util/fetch_prs_between.sh @@ -14,7 +14,12 @@ IFS=' for pr in $(git log --oneline --grep "Merge #" --grep "Merge pull request" --grep "Auto merge of" "$first...$last" | sort -rn | uniq); do id=$(echo $pr | rg -o '#[0-9]{3,5}' | cut -c 2-) commit=$(echo $pr | cut -d' ' -f 1) + message=$(git --no-pager show --pretty=medium $commit) + if [ ! -z $(echo "$message" | rg "^[\s]{4}changelog: [nN]one\.*$") ]; then + continue + fi + echo "URL: https://github.com/rust-lang/rust-clippy/pull/$id" - echo "$(git --no-pager show --pretty=medium $commit)" + echo "$message" echo "---------------------------------------------------------\n" done