diff options
| author | Philipp Hansch <dev@phansch.net> | 2020-04-20 21:08:55 +0200 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2020-04-20 21:08:55 +0200 |
| commit | 90d8b6354edea11d7f96dc07d7d985e57d561275 (patch) | |
| tree | b4dc158a615ae6ce9b1a223c54d90bb86b130b29 | |
| parent | 6dcc8d50381b561a87cdfb926c829434857e635f (diff) | |
| download | rust-90d8b6354edea11d7f96dc07d7d985e57d561275.tar.gz rust-90d8b6354edea11d7f96dc07d7d985e57d561275.zip | |
util/fetch_prs_between.sh: Add Markdown formatted Link
This can then be easily copy/pasted into the changelog :blue_heart:
| -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 |