X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=util%2Ffetch_prs_between.sh;h=6865abf971b282891e1da574766c4b0d577c5cac;hb=641ced4eb96d07fba2284fa258ccb987f7afc8a1;hp=dbe73b1ba9856e08b5f430eae175a91fb5784881;hpb=a7fe3b2ebb35e6bca78bc103a75966105981abc4;p=rust.git

diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh
index dbe73b1ba98..6865abf971b 100755
--- a/util/fetch_prs_between.sh
+++ b/util/fetch_prs_between.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Fetches the merge commits between two git commits and prints the PR URL
 # together with the full commit message
@@ -11,10 +11,17 @@ 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
-  id=$(echo $pr | rg -o '#[0-9]{3,5}' | cut -c 2-)
-  commit=$(echo $pr | cut -d' ' -f 1)
+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")
+  if [[ -n $(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 "---------------------------------------------------------\n"
+  echo "Markdown URL: [#$id](https://github.com/rust-lang/rust-clippy/pull/$id)"
+  echo "$message"
+  echo "---------------------------------------------------------"
+  echo
 done