From 1adc35703f22c9ee4e825ca0441961cbc832e5c8 Mon Sep 17 00:00:00 2001
From: Philipp Hansch <dev@phansch.net>
Date: Fri, 25 Jan 2019 18:07:50 +0100
Subject: [PATCH] Add script to fetch GitHub PRs between two commits

---
 util/fetch_prs_between | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 util/fetch_prs_between

diff --git a/util/fetch_prs_between b/util/fetch_prs_between
new file mode 100755
index 00000000000..dbe73b1ba98
--- /dev/null
+++ b/util/fetch_prs_between
@@ -0,0 +1,20 @@
+#!/bin/sh
+
+# Fetches the merge commits between two git commits and prints the PR URL
+# together with the full commit message
+#
+# If you want to use this to update the Clippy changelog, be sure to manually
+# exclude the non-user facing changes like 'rustup' PRs, typo fixes, etc.
+
+first=$1
+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)
+  echo "URL: https://github.com/rust-lang/rust-clippy/pull/$id"
+  echo "$(git --no-pager show --pretty=medium $commit)"
+  echo "---------------------------------------------------------\n"
+done