summaryrefslogtreecommitdiffstats
path: root/teams/infra.toml
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-09-05 13:12:53 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-09-05 13:12:53 +0200
commit9124b24e6d6c2ecae36a60b3db10d3bfbbeab89f (patch)
tree88ca116b765d895b422fe2b9249328982e183adf /teams/infra.toml
parenta4170ba3d5cd5c729162cfdbcfca3710a8c0d0de (diff)
infra: split admin mailing lists in a new infra-admins team
The point of this commit is just to simplify the configuration, to avoid having all the sensitive infra MLs with `exclude-team-members = true`. The new "team" isn't synchronized or shown anywhere else.
Diffstat (limited to 'teams/infra.toml')
-rw-r--r--teams/infra.toml65
1 files changed, 0 insertions, 65 deletions
diff --git a/teams/infra.toml b/teams/infra.toml
index c9732c9..d26f38b 100644
--- a/teams/infra.toml
+++ b/teams/infra.toml
@@ -42,68 +42,3 @@ address = "infra-team@rust-lang.org"
[[lists]]
address = "craterbot@rust-lang.org"
-
-[[lists]]
-address = "admin@rust-lang.org"
-include-team-members = false
-extra-people = [
- "Mark-Simulacrum",
- "aidanhs",
- "alexcrichton",
- "pietroalbini",
-]
-
-[[lists]]
-address = "rust-key@rust-lang.org"
-include-team-members = false
-extra-people = [
- "Mark-Simulacrum",
- "aidanhs",
- "alexcrichton",
- "pietroalbini",
-]
-
-[[lists]]
-address = "appveyor@rust-lang.org"
-include-team-members = false
-extra-emails = [
- "rust-ops@googlegroups.com",
-]
-
-[[lists]]
-address = "appveyor-libs@rust-lang.org"
-include-team-members = false
-extra-emails = [
- "rust-ops@googlegroups.com",
-]
-
-[[lists]]
-address = "bors@rust-lang.org"
-include-team-members = false
-extra-people = [
- "Mark-Simulacrum",
- "aidanhs",
- "alexcrichton",
- "pietroalbini",
-]
-
-[[lists]]
-address = "crates-io-cert@rust-lang.org"
-include-team-members = false
-extra-emails = [
- "rust-ops@googlegroups.com",
-]
-
-[[lists]]
-address = "dmarc-rua@rust-lang.org"
-include-team-members = false
-extra-emails = [
- "rust-ops@googlegroups.com",
-]
-
-[[lists]]
-address = "docker-hub-rustci@rust-lang.org"
-include-team-members = false
-extra-emails = [
- "rust-ops@googlegroups.com",
-]