diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-26 15:18:10 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2018-11-26 15:18:10 +0100 |
| commit | 060cd2832bb44090480049045162cd3cb89dc1c0 (patch) | |
| tree | de3a90fc357f2a56e3e93ac1ebe0d054cbb4274d /teams/infra.toml | |
| parent | 7721cfd6d93e58ed277523be87a8b0b34a5811a2 (diff) | |
import some mailing lists
Diffstat (limited to 'teams/infra.toml')
| -rw-r--r-- | teams/infra.toml | 87 |
1 files changed, 87 insertions, 0 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index d65f870..a1b32f5 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -19,3 +19,90 @@ members = [ name = "Infrastructure team" description = "infrastructure supporting the Rust project itself: CI, releases, bots, metrics" email = "infra@rust-lang.org" + +[[lists]] +address = "infra@rust-lang.org" +access-level = "everyone" +extra-people = [ + "aturon", +] + +[[lists]] +address = "infra-team@rust-lang.org" +access-level = "everyone" +extra-people = [ + "aturon", +] + +[[lists]] +address = "craterbot@rust-lang.org" +access-level = "everyone" +extra-people = [ + "aturon", +] + +[[lists]] +address = "admin@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-people = [ + "aturon", + "alexcrichton", +] + +[[lists]] +address = "rust-key@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-people = [ + "aturon", + "alexcrichton", +] + +[[lists]] +address = "appveyor@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-emails = [ + "rust-ops@googlegroups.com", +] + +[[lists]] +address = "appveyor-libs@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-emails = [ + "rust-ops@googlegroups.com", +] + +[[lists]] +address = "bors@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-people = [ + "alexcrichton", +] + +[[lists]] +address = "crates-io-cert@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-emails = [ + "rust-ops@googlegroups.com", +] + +[[lists]] +address = "dmarc-rua@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-emails = [ + "rust-ops@googlegroups.com", +] + +[[lists]] +address = "docker-hub-rustci@rust-lang.org" +access-level = "everyone" +include-team-members = false +extra-emails = [ + "rust-ops@googlegroups.com", +] |