diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-12 14:03:42 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-12 14:03:42 +0100 |
commit | 2a7e5ca4f15607c6878ec40b5f519579a2a5e16b (patch) | |
tree | acd524fd0e4b5e69a7c483ec5178ff303dbac0bf /README.md | |
parent | c4ef9997523bc8e32fb507f110aef4e88c7dc4c8 (diff) | |
parent | e27b3192fd30191e48e9e2f1c3a231f609596bb3 (diff) |
Merge pull request #36 from rust-lang/bors-integrated
Bors is now integrated with the team repo
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5,6 +5,7 @@ automatically synchronized with: | Service | Synchronized every | | | --- | :---: | --- | +| [@bors][bors] | *In real time* | [Integration source][bors-src] | | [Crater and @craterbot][crater] | *In real time* | [Integration source][crater-src] | | Mailing lists and aliases (`@rust-lang.org`, `@crates.io`) | 5 minutes | [Integration source][ml-src] | [Governance section on the website][www] | 2 minutes | [Integration source][www-src] | @@ -13,6 +14,8 @@ If you need to add or remove a person from a team send a PR to this repository, and after it's merged their account will be added/removed from all the supported services. +[bors]: https://buildbot2.rust-lang.org/homu +[bors-src]: https://github.com/rust-lang/homu/blob/master/homu/auth.py [www]: https://www.rust-lang.org/governance [www-src]: https://github.com/rust-lang/www.rust-lang.org/blob/master/src/teams.rs [crater]: https://github.com/rust-lang-nursery/crater |