blob: ab5806dd0c5a8146b337ccbbbc1da124304a7671 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
name = "devtools"
[people]
leads = ["nrc"]
members = [
"fitzgen",
"japaric",
"killercup",
"manishearth",
"nrc",
"steveklabnik",
"withoutboats",
]
[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"
access-level = "everyone"
[[lists]]
address = "rust-dev-tools@rust-lang.org"
access-level = "everyone"
[[lists]]
address = "tools-team@rust-lang.org"
access-level = "everyone"
|
