diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 11:35:25 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2018-11-27 11:35:25 +0100 |
commit | 32b530be8d99a9d08bc3d22c1e22843aa0eec2bd (patch) | |
tree | fecdaa1b3b94cf9b2a659396d5b329d419bd3c00 /teams | |
parent | 6b215b387e8f3f812856ba97c8c687076df4bfb3 (diff) |
some more changes
Diffstat (limited to 'teams')
-rw-r--r-- | teams/leads.toml | 11 | ||||
-rw-r--r-- | teams/wg-embedded.toml | 1 | ||||
-rw-r--r-- | teams/wg-leads.toml | 9 | ||||
-rw-r--r-- | teams/wg-net.toml | 1 | ||||
-rw-r--r-- | teams/wg-wasm.toml | 1 |
5 files changed, 7 insertions, 16 deletions
diff --git a/teams/leads.toml b/teams/leads.toml index 27def3e..65dd947 100644 --- a/teams/leads.toml +++ b/teams/leads.toml @@ -2,15 +2,8 @@ name = "leads" [people] leads = [] -members = [ - "aturon", - "ashleygwilliams", - "nikomatsakis", - "nrc", - "aidanhs", - "Mark-Simulacrum", - "steveklabnik", -] +members = [] +include-team-leads = true [[lists]] address = "leads@rust-lang.org" diff --git a/teams/wg-embedded.toml b/teams/wg-embedded.toml index 76e2942..ee430bd 100644 --- a/teams/wg-embedded.toml +++ b/teams/wg-embedded.toml @@ -1,4 +1,5 @@ name = "wg-embedded" +wg = true [people] leads = ["japaric"] diff --git a/teams/wg-leads.toml b/teams/wg-leads.toml index 022199c..c3e8999 100644 --- a/teams/wg-leads.toml +++ b/teams/wg-leads.toml @@ -2,10 +2,5 @@ name = "wg-leads" [people] leads = [] -members = [ - "cramertj", - "withoutboats", - "killercup", - "fitzgen", - "japaric", -] +members = [] +include-wg-leads = true diff --git a/teams/wg-net.toml b/teams/wg-net.toml index f95494c..9a06ffd 100644 --- a/teams/wg-net.toml +++ b/teams/wg-net.toml @@ -1,4 +1,5 @@ name = "wg-net" +wg = true [people] leads = ["withoutboats", "cramertj"] diff --git a/teams/wg-wasm.toml b/teams/wg-wasm.toml index 8788bbb..2a36f16 100644 --- a/teams/wg-wasm.toml +++ b/teams/wg-wasm.toml @@ -1,4 +1,5 @@ name = "wg-wasm" +wg = true [people] leads = ["fitzgen"] |