blob: fcb1efa3fe1f79fec328b43f0567b7bb4b19ad90 (
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 = []
members = []
[website]
page = "dev-tools"
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"
extra-teams = [
"cargo",
"clippy",
"ides",
"rustdoc",
"wg-bindgen",
"wg-debugging",
"wg-rustfmt",
"wg-rustup",
]
[[lists]]
address = "rust-dev-tools@rust-lang.org"
[[lists]]
address = "tools-team@rust-lang.org"
|