diff options
| author | flip1995 <hello@philkrones.com> | 2019-08-12 09:38:52 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2019-08-12 09:38:52 +0200 |
| commit | 27ddde561efbf0acd3582cfa4e6152e581a93b22 (patch) | |
| tree | 7e638ac21e78c37465dbbd774bd77eca8c0af408 | |
| parent | e255f36afe431eaba1fff15855e1536596ed2ab9 (diff) | |
| download | rust-27ddde561efbf0acd3582cfa4e6152e581a93b22.tar.gz rust-27ddde561efbf0acd3582cfa4e6152e581a93b22.zip | |
Filter out PRs with 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 |