diff options
author | Nick Cameron <nrc@ncameron.org> | 2019-01-19 12:10:57 +1300 |
---|---|---|
committer | Nick Cameron <nrc@ncameron.org> | 2019-01-19 12:11:30 +1300 |
commit | 426641b6e84f40e8bdd1b5bf269ab60764076690 (patch) | |
tree | 848940573e9b9be6120fb6daff6fe5deca086164 | |
parent | 389a7438eb10dade0b676365d0849b30386ab783 (diff) |
Update dev-tools teams
-rw-r--r-- | people/kinnison.toml | 3 | ||||
-rw-r--r-- | people/otavio.toml | 3 | ||||
-rw-r--r-- | people/scampi.toml | 3 | ||||
-rw-r--r-- | teams/clippy.toml (renamed from teams/wg-clippy.toml) | 9 | ||||
-rw-r--r-- | teams/devtools.toml | 12 | ||||
-rw-r--r-- | teams/ides.toml | 2 | ||||
-rw-r--r-- | teams/wg-debugging.toml | 3 | ||||
-rw-r--r-- | teams/wg-rustfmt.toml | 4 | ||||
-rw-r--r-- | teams/wg-rustup.toml | 22 |
9 files changed, 42 insertions, 19 deletions
diff --git a/people/kinnison.toml b/people/kinnison.toml new file mode 100644 index 0000000..fdcb544 --- /dev/null +++ b/people/kinnison.toml @@ -0,0 +1,3 @@ +name = "Daniel Silverstone" +github = "kinnison" +email = "dsilvers@digital-scurf.org" diff --git a/people/otavio.toml b/people/otavio.toml new file mode 100644 index 0000000..9e2e853 --- /dev/null +++ b/people/otavio.toml @@ -0,0 +1,3 @@ +name = "Otavio Salvador" +github = "otavio" +email = "otavio@ossystems.com.br" diff --git a/people/scampi.toml b/people/scampi.toml new file mode 100644 index 0000000..6a5a941 --- /dev/null +++ b/people/scampi.toml @@ -0,0 +1,3 @@ +name = "Stéphane Campinas" +github = "scampi" +email = "stephane.campinas@gmail.com" diff --git a/teams/wg-clippy.toml b/teams/clippy.toml index 1d8dfe6..2a3f5f4 100644 --- a/teams/wg-clippy.toml +++ b/teams/clippy.toml @@ -1,8 +1,7 @@ -name = "wg-clippy" -wg = true +name = "clippy" [people] -leads = ["llogiq", "killercup", "manishearth", "oli-obk"] +leads = ["manishearth", "oli-obk"] members = [ "llogiq", "killercup", @@ -11,7 +10,7 @@ members = [ ] [website] -name = "Clippy working group" +name = "Clippy" description = "design and implementation of the Clippy linter" discord-invite = "https://discord.gg/vNNtpyD" -discord-name = "#wg-clippy" +discord-name = "#clippy" diff --git a/teams/devtools.toml b/teams/devtools.toml index ab5806d..c3c576c 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -1,16 +1,8 @@ name = "devtools" [people] -leads = ["nrc"] -members = [ - "fitzgen", - "japaric", - "killercup", - "manishearth", - "nrc", - "steveklabnik", - "withoutboats", -] +leads = [] +members = [] [website] name = "Dev tools team" diff --git a/teams/ides.toml b/teams/ides.toml index 4d7c171..057d6d1 100644 --- a/teams/ides.toml +++ b/teams/ides.toml @@ -1,7 +1,7 @@ name = "ides" [people] -leads = ["nrc"] +leads = ["nrc", "Xanewok"] members = [ "alexheretic", "autozimu", diff --git a/teams/wg-debugging.toml b/teams/wg-debugging.toml index bbcaa99..b8b9dad 100644 --- a/teams/wg-debugging.toml +++ b/teams/wg-debugging.toml @@ -2,11 +2,10 @@ name = "wg-debugging" wg = true [people] -leads = ["manishearth", "michaelwoerister", "tromey"] +leads = ["manishearth", "michaelwoerister"] members = [ "manishearth", "michaelwoerister", - "tromey", ] [website] diff --git a/teams/wg-rustfmt.toml b/teams/wg-rustfmt.toml index b717606..92f84e7 100644 --- a/teams/wg-rustfmt.toml +++ b/teams/wg-rustfmt.toml @@ -2,9 +2,11 @@ name = "wg-rustfmt" wg = true [people] -leads = ["nrc", "topecongiro"] +leads = ["topecongiro"] members = [ "nrc", + "otavio", + "scampi", "topecongiro", ] diff --git a/teams/wg-rustup.toml b/teams/wg-rustup.toml new file mode 100644 index 0000000..c6fa809 --- /dev/null +++ b/teams/wg-rustup.toml @@ -0,0 +1,22 @@ +name = "wg-rustup" +wg = true + +[people] +leads = [ + "alexcrichton", + "dwijnand", + "kinnison", + "nrc", +] +members = [ + "alexcrichton", + "dwijnand", + "kinnison", + "nrc", +] + +[website] +name = "Rustupt working group" +description = "design and implementation of Rustup" +discord-invite = "https://discord.gg/e6Q3cvu" +discord-name = "#wg-rustup" |