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/infra.toml | |
| parent | 584b4616ebecd82fb8b3fbb17730f21bbf96bf3b (diff) | |
import data from the new website
Diffstat (limited to 'teams/infra.toml')
| -rw-r--r-- | teams/infra.toml | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 9eaae0e..57e67ba 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -3,22 +3,24 @@ name = "infra" [people] leads = ["aidanhs"] members = [ - "alexcrichton", - "shepmaster", - "aidanhs", - "TimNN", "Mark-Simulacrum", + "TimNN", + "aidanhs", + "alexcrichton", + "ashleygwilliams", "erickt", "kennytm", - "ashleygwilliams", - "sgrif", "pietroalbini", + "sgrif", + "shepmaster", ] [website] name = "Infrastructure team" description = "infrastructure supporting the Rust project itself: CI, releases, bots, metrics" email = "infra@rust-lang.org" +discord-invite = "https://discord.gg/AxXmxzN" +discord-name = "#infra" [[lists]] address = "infra@rust-lang.org" |