diff --git a/util/fetch_prs_between.sh b/util/fetch_prs_between.sh index 881aba196e7..6865abf971b 100755 --- a/util/fetch_prs_between.sh +++ b/util/fetch_prs_between.sh @@ -20,6 +20,7 @@ for pr in $(git log --oneline --grep "Merge #" --grep "Merge pull request" --gre fi echo "URL: https://github.com/rust-lang/rust-clippy/pull/$id" + echo "Markdown URL: [#$id](https://github.com/rust-lang/rust-clippy/pull/$id)" echo "$message" echo "---------------------------------------------------------" echo