diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2018-11-30 12:31:39 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2018-11-30 12:31:39 +0100 |
| commit | 895daaf5e1759973c641f448e076d47d44d156d5 (patch) | |
| tree | 575a16c09a10676737fa8460fc4c4b2784c2732f /teams/devtools.toml | |
| parent | 584b4616ebecd82fb8b3fbb17730f21bbf96bf3b (diff) | |
import data from the new website
Diffstat (limited to 'teams/devtools.toml')
| -rw-r--r-- | teams/devtools.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/teams/devtools.toml b/teams/devtools.toml index f60edff..ab5806d 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -15,6 +15,9 @@ members = [ [website] name = "Dev tools team" 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" |