From 32b530be8d99a9d08bc3d22c1e22843aa0eec2bd Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Tue, 27 Nov 2018 11:35:25 +0100 Subject: some more changes --- teams/leads.toml | 11 ++--------- teams/wg-embedded.toml | 1 + teams/wg-leads.toml | 9 ++------- teams/wg-net.toml | 1 + teams/wg-wasm.toml | 1 + 5 files changed, 7 insertions(+), 16 deletions(-) (limited to 'teams') 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"] -- cgit v1.2.3