diff options
| author | bors <bors@rust-lang.org> | 2019-08-12 11:05:49 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-08-12 11:05:49 +0000 |
| commit | c154754b74577906c5d55d57f7daeff02d6a33e7 (patch) | |
| tree | 7e638ac21e78c37465dbbd774bd77eca8c0af408 | |
| parent | e255f36afe431eaba1fff15855e1536596ed2ab9 (diff) | |
| parent | 27ddde561efbf0acd3582cfa4e6152e581a93b22 (diff) | |
| download | rust-c154754b74577906c5d55d57f7daeff02d6a33e7.tar.gz rust-c154754b74577906c5d55d57f7daeff02d6a33e7.zip | |
Auto merge of #4373 - flip1995:filter_changelog_none, r=phansch
Filter out PRs with changelog: none cc #4372 Filtering out the `changelog: none` merge commits, to unclutter the output. changelog: none
| -rwxr-xr-x | util/fetch_prs_between.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh index dbe73b1ba98..36b4785ac87 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 |