diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-11 16:22:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-11 16:22:18 +0200 |
commit | 38e174049fabf90fb82e3ddbc40c28ddaf068d88 (patch) | |
tree | a818d094d68851823f0d5cc3704a7fc1a7cff5bf | |
parent | 9701e4487fe00d4f323d3d9a543a569cb0a2709a (diff) | |
parent | a7760c2e6b7a384b5a3aa99b70b92c878454520e (diff) |
Merge pull request #142 from rust-lang/cratesio-ml
Change crates.io mailing lists
-rw-r--r-- | teams/crates-io.toml | 19 | ||||
-rw-r--r-- | teams/infra-admins.toml | 3 |
2 files changed, 5 insertions, 17 deletions
diff --git a/teams/crates-io.toml b/teams/crates-io.toml index e98ad6f..f8ce6af 100644 --- a/teams/crates-io.toml +++ b/teams/crates-io.toml @@ -32,17 +32,10 @@ discord-invite = "https://discord.gg/Rbq8W5K" discord-name = "#crates-io" [[lists]] -address = "help@crates.io" -include-team-members = false -extra-people = [ - "carols10cents", - "ashleygwilliams", - "sgrif", - "pietroalbini", -] +address = "crates-io@rust-lang.org" [[lists]] -address = "crates-io@rust-lang.org" +address = "help@crates.io" include-team-members = false extra-people = [ "carols10cents", @@ -50,11 +43,3 @@ extra-people = [ "sgrif", "pietroalbini", ] - -[[lists]] -address = "admin@crates.io" -include-team-members = false -extra-people = [ - "aturon", - "alexcrichton", -] diff --git a/teams/infra-admins.toml b/teams/infra-admins.toml index d49bf2d..2653d12 100644 --- a/teams/infra-admins.toml +++ b/teams/infra-admins.toml @@ -13,6 +13,9 @@ members = [ address = "admin@rust-lang.org" [[lists]] +address = "admin@crates.io" + +[[lists]] address = "rust-key@rust-lang.org" [[lists]] |