OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Auto merge of #4373 - flip1995:filter_changelog_none, r=phansch

Browse Source 
Filter out PRs with changelog: none

cc #4372

Filtering out the `changelog: none` merge commits, to unclutter the output.

changelog: none
This commit is contained in:
bors 2019-08-12 11:05:49 +00:00
commit c154754b74
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
util/fetch_prs_between.sh
View File

@ -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 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-) id=$(echo $pr | rg -o '#[0-9]{3,5}' | cut -c 2-)
commit=$(echo $pr | cut -d' ' -f 1) 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 "URL: https://github.com/rust-lang/rust-clippy/pull/$id"
echo "$(git --no-pager show --pretty=medium $commit)" echo "$message"
echo "---------------------------------------------------------\n" echo "---------------------------------------------------------\n"
done done