diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-03-08 11:06:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-08 11:06:02 -0500 |
| commit | a6c88e3b7657cba0a27b068441d9d8e07509f924 (patch) | |
| tree | 0f58af4a460319b7909e2a31034216cf34a500fd | |
| parent | b12b7d60f2c73d56e14f566e2285d7a3cfc22df1 (diff) | |
| parent | 100652762e8dd1cc3fa45792d23a07f082c2b8b5 (diff) | |
Merge pull request #32 from Manishearth/tools-team
Devtools restructure
| -rw-r--r-- | teams/devtools.toml | 14 |
1 files 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" |