diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-19 19:01:23 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-19 19:02:44 +0200 |
| commit | 8637e8ab93331b1cf6da11cfa08f8757bb89dbf5 (patch) | |
| tree | c7098c00304e4d0c15a35ed90a7e923d0ec0e357 /README.md | |
| parent | d23060a52e6c65635cca02c4f3aabcc675526655 (diff) | |
add github teams sync to the readme
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -9,7 +9,8 @@ automatically synchronized with: | [Crater and @craterbot][crater] | *In real time* | [Integration source][crater-src] | | [Perf and @rust-timer][perf] | *In real time* | [Integration source][perf-src] | | [@rfcbot][rfcbot] | 5 minutes | [Integration source][rfcbot-src] | -| Mailing lists and aliases (`@rust-lang.org`, `@crates.io`) | 5 minutes | [Integration source][ml-src] +| GitHub teams membership | 5 minutes | [Integration source][github-teams-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] | If you need to add or remove a person from a team send a PR to this repository, @@ -27,6 +28,7 @@ supported services. [perf-src]: https://github.com/rust-lang-nursery/rustc-perf/blob/master/site/src/server.rs [rfcbot]: https://rfcbot.rs [rfcbot-src]: https://github.com/anp/rfcbot-rs/blob/master/src/teams.rs +[github-teams-src]: https://github.com/rust-lang/rust-central-station/tree/master/sync-github ## Documentation |