diff options
| author | bors <bors@rust-lang.org> | 2020-04-20 21:00:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-04-20 21:00:25 +0000 |
| commit | 6507728f231b00cabd8b3957ac642dbcc854abb1 (patch) | |
| tree | 9ba7816a96bc579e8ff21c61647a603b0cb087ff | |
| parent | ef6ba82fee26f5ac67a487f13fcd29f886c3eb8c (diff) | |
| parent | 90d8b6354edea11d7f96dc07d7d985e57d561275 (diff) | |
| download | rust-6507728f231b00cabd8b3957ac642dbcc854abb1.tar.gz rust-6507728f231b00cabd8b3957ac642dbcc854abb1.zip | |
Auto merge of #5496 - phansch:markdown-link, r=flip1995
util/fetch_prs_between.sh: Add Markdown formatted link This can then be easily copy/pasted into the changelog :blue_heart: changelog: none
| -rwxr-xr-x | util/fetch_prs_between.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |