diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-20 21:27:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-20 21:27:56 +0100 |
commit | 84fbef0d92829da723517cdbd87a97585ebba2d5 (patch) | |
tree | 30e4231c348af6472748503dfd412498c08dfcf7 | |
parent | df3020546e5b924da0d0daced1bbe46728973525 (diff) | |
parent | b2e2e3d5c7e3b01e6b30773a6e7f45ba6ddf728f (diff) |
Merge pull request #40 from killercup/add/rustfix-wg
Add rustfix WG
-rw-r--r-- | teams/devtools.toml | 1 | ||||
-rw-r--r-- | teams/wg-rustfix.toml | 21 |
2 files changed, 22 insertions, 0 deletions
diff --git a/teams/devtools.toml b/teams/devtools.toml index a05563d..677f740 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -27,6 +27,7 @@ extra-teams = [ "wg-debugging", "wg-rustfmt", "wg-rustup", + "wg-rustfix", ] extra-people = ["spacekookie"] diff --git a/teams/wg-rustfix.toml b/teams/wg-rustfix.toml new file mode 100644 index 0000000..4136c7b --- /dev/null +++ b/teams/wg-rustfix.toml @@ -0,0 +1,21 @@ +name = "wg-rustfix" +subteam-of = "devtools" +wg = true + +[people] +leads = [] +members = [ + "Manishearth", + "estebank", + "killercup", + "oli-obk", + "phansch", + "pietroalbini", + "zackmdavis", +] + +[website] +name = "Rustfix working group" +description = "Improve cargo-fix and be a point of contact for other teams" +discord-invite = "https://discord.gg/e6Q3cvu" +discord-name = "#wg-rustfix" |