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

bors · bors · commit 9936d365237c · 2019-08-28T12:37:29.000Z
Also fetch rollup merges in fetch_prs_between.sh script Otherwise rolled up PRs won't be included in the changelog, e.g. 2366661 changelog: none
diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh
@@ -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)

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ last=$2`
`11`	`11`
`12`	`12`	`IFS='`
`13`	`13`	`'`
`14`		`-for pr in $(git log --oneline --grep "Merge #" --grep "Merge pull request" --grep "Auto merge of" "$first...$last" \| sort -rn \| uniq); do`
	`14`	`+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`
`15`	`15`	`id=$(echo $pr \| rg -o '#[0-9]{3,5}' \| cut -c 2-)`
`16`	`16`	`commit=$(echo $pr \| cut -d' ' -f 1)`
`17`	`17`	`message=$(git --no-pager show --pretty=medium $commit)`