diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-19 12:31:25 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-19 12:31:25 +0200 |
commit | e4bd93eba19951606d7267b10d6239db4a40c00e (patch) | |
tree | b2688452297f1dd4bf8766d88f2775727659abcc | |
parent | d23060a52e6c65635cca02c4f3aabcc675526655 (diff) |
add people with full access to the admin infra mailing lists
-rw-r--r-- | teams/infra.toml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 1c4fc0f..c9732c9 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -47,16 +47,20 @@ address = "craterbot@rust-lang.org" address = "admin@rust-lang.org" include-team-members = false extra-people = [ - "aturon", + "Mark-Simulacrum", + "aidanhs", "alexcrichton", + "pietroalbini", ] [[lists]] address = "rust-key@rust-lang.org" include-team-members = false extra-people = [ - "aturon", + "Mark-Simulacrum", + "aidanhs", "alexcrichton", + "pietroalbini", ] [[lists]] @@ -77,7 +81,10 @@ extra-emails = [ address = "bors@rust-lang.org" include-team-members = false extra-people = [ + "Mark-Simulacrum", + "aidanhs", "alexcrichton", + "pietroalbini", ] [[lists]] |