diff options
| author | flip1995 <hello@philkrones.com> | 2019-08-28 13:53:56 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2019-08-28 13:53:56 +0200 |
| commit | 2dc7727bcdd4de1eca8db03b89478940a14834a3 (patch) | |
| tree | 55dc278dc9fb62025ff970ecafefef3730bfaa04 | |
| parent | a939d61cf7feac0f328aec07f050c4ac96c51d2c (diff) | |
| download | rust-2dc7727bcdd4de1eca8db03b89478940a14834a3.tar.gz rust-2dc7727bcdd4de1eca8db03b89478940a14834a3.zip | |
Also fetch rollup merges in fetch_prs_between.sh script
| -rwxr-xr-x | util/fetch_prs_between.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh index 36b4785ac87..bea5a021aef 100755 --- 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) |