diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-19 19:12:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-19 19:12:06 +0200 |
| commit | fc7a235b4804dfbf5c0f66b6f679011ab269afa6 (patch) | |
| tree | 1338c9a0bd1147e4db33738db80dedbbd195e13b | |
| parent | fc9dfcacb3a670ae49bd345213bc8a2741c217e3 (diff) | |
| parent | 8637e8ab93331b1cf6da11cfa08f8757bb89dbf5 (diff) | |
Merge pull request #90 from rust-lang/announce-sync-github
Add GitHub teams sync to the README
| -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 |