diff options
Diffstat (limited to 'teams/wg-clippy.toml')
| -rw-r--r-- | teams/wg-clippy.toml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/teams/wg-clippy.toml b/teams/wg-clippy.toml new file mode 100644 index 0000000..1d8dfe6 --- /dev/null +++ b/teams/wg-clippy.toml @@ -0,0 +1,17 @@ +name = "wg-clippy" +wg = true + +[people] +leads = ["llogiq", "killercup", "manishearth", "oli-obk"] +members = [ + "llogiq", + "killercup", + "manishearth", + "oli-obk", +] + +[website] +name = "Clippy working group" +description = "design and implementation of the Clippy linter" +discord-invite = "https://discord.gg/vNNtpyD" +discord-name = "#wg-clippy" |