summaryrefslogtreecommitdiffstats
path: root/teams
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2018-11-27 11:35:25 +0100
committerPietro Albini <pietro@pietroalbini.org>2018-11-27 11:35:25 +0100
commit32b530be8d99a9d08bc3d22c1e22843aa0eec2bd (patch)
treefecdaa1b3b94cf9b2a659396d5b329d419bd3c00 /teams
parent6b215b387e8f3f812856ba97c8c687076df4bfb3 (diff)
some more changes
Diffstat (limited to 'teams')
-rw-r--r--teams/leads.toml11
-rw-r--r--teams/wg-embedded.toml1
-rw-r--r--teams/wg-leads.toml9
-rw-r--r--teams/wg-net.toml1
-rw-r--r--teams/wg-wasm.toml1
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"]