Auto merge of #4464 - flip1995:fetch_prs_between, r=phansch

Also fetch rollup merges in fetch_prs_between.sh script

Otherwise rolled up PRs won't be included in the changelog, e.g. 236666138f

changelog: none
This commit is contained in:
bors 2019-08-28 12:37:29 +00:00
commit 9936d36523

View file

@ -11,7 +11,7 @@ last=$2
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" --grep "Rollup 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)