summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-10-11 16:06:18 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-10-11 16:07:52 +0200
commita7760c2e6b7a384b5a3aa99b70b92c878454520e (patch)
treea818d094d68851823f0d5cc3704a7fc1a7cff5bf
parentbd86b0d78678b28b7de5a4b9f30aba8be17d5df6 (diff)
move admin@crates.io along with the other infra-admin mls
-rw-r--r--teams/crates-io.toml8
-rw-r--r--teams/infra-admins.toml3
2 files changed, 3 insertions, 8 deletions
diff --git a/teams/crates-io.toml b/teams/crates-io.toml
index 7768f91..f8ce6af 100644
--- a/teams/crates-io.toml
+++ b/teams/crates-io.toml
@@ -43,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]]