From 100652762e8dd1cc3fa45792d23a07f082c2b8b5 Mon Sep 17 00:00:00 2001 From: Manish Goregaokar Date: Mon, 4 Mar 2019 15:25:41 +0530 Subject: Devtools restructure --- teams/devtools.toml | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/teams/devtools.toml b/teams/devtools.toml index fcb1efa..a05563d 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -1,19 +1,23 @@ name = "devtools" [people] -leads = [] -members = [] +leads = ["killercup", "Manishearth"] +members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk", "dwijnand"] [website] page = "dev-tools" name = "Dev tools team" +email = "tools@rust-lang.org" description = "Rust developer tools" repo = "https://github.com/rust-dev-tools/dev-tools-team" discord-invite = "https://discord.gg/sG23nSS" discord-name = "#dev-tools" [[lists]] -address = "dev-tools@rust-lang.org" +address = "tools@rust-lang.org" + +[[lists]] +address = "tools-all@rust-lang.org" extra-teams = [ "cargo", "clippy", @@ -24,6 +28,10 @@ extra-teams = [ "wg-rustfmt", "wg-rustup", ] +extra-people = ["spacekookie"] + +[[lists]] +address = "dev-tools@rust-lang.org" [[lists]] address = "rust-dev-tools@rust-lang.org" -- cgit v1.2.3