diff options
| author | varkor <github@varkor.com> | 2019-03-14 01:07:00 +0000 |
|---|---|---|
| committer | varkor <github@varkor.com> | 2019-03-14 01:07:00 +0000 |
| commit | 6f3fda9d1d603084c8e6a323bdbea7b780ba87ca (patch) | |
| tree | 71846861c33c4fbbf3266580422eec40e03ca6b1 /CONTRIBUTING.md | |
| parent | 205ab0c260e983615de3a2ed71c8e82e5c48dd8d (diff) | |
| download | rust-6f3fda9d1d603084c8e6a323bdbea7b780ba87ca.tar.gz rust-6f3fda9d1d603084c8e6a323bdbea7b780ba87ca.zip | |
Add links to @rust-highfive and @bors
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 35a741babd2..dde4ac3bbeb 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -132,7 +132,7 @@ request); you can add [git hooks](https://git-scm.com/book/en/v2/Customizing-Git before every push to make sure you never forget to make this check. All pull requests are reviewed by another person. We have a bot, -@rust-highfive, that will automatically assign a random person to review your +[@rust-highfive][rust-highfive], that will automatically assign a random person to review your request. If you want to request that a specific person reviews your pull request, @@ -149,11 +149,13 @@ on the pull request with an `r+`. It will look something like this: @bors: r+ 38fe8d2 -This tells @bors, our lovable integration bot, that your pull request has +This tells [@bors][bors], our lovable integration bot, that your pull request has been approved. The PR then enters the [merge queue][merge-queue], where @bors will run all the tests on every platform we support. If it all works out, @bors will merge your code into `master` and close the pull request. +[rust-highfive]: https://github.com/rust-highfive +[bors]: https://github.com/bors [merge-queue]: https://buildbot2.rust-lang.org/homu/queue/rust Speaking of tests, Rust has a comprehensive test suite. More information about |