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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
name = "devtools"
[people]
leads = ["killercup", "Manishearth"]
members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk", "kinnison", "ehuss"]
[rfcbot]
label = "T-dev-tools"
name = "Dev tools"
ping = "rust-lang/dev-tools"
[website]
page = "dev-tools"
name = "Dev tools team"
email = "tools@rust-lang.org"
description = "Rust developer tools"
repo = "https://github.com/rust-dev-tools/dev-tools-team"
discord-invite = "https://discord.gg/sG23nSS"
discord-name = "#dev-tools"
[github]
orgs = ["rust-lang", "rust-dev-tools"]
[[lists]]
address = "tools@rust-lang.org"
[[lists]]
address = "tools-all@rust-lang.org"
extra-teams = [
"cargo",
"clippy",
"ides",
"rustdoc",
"wg-bindgen",
"wg-debugging",
"wg-rustfmt",
"wg-rustup",
"wg-rustfix",
]
extra-people = ["spacekookie"]
[[lists]]
address = "dev-tools@rust-lang.org"
[[lists]]
address = "rust-dev-tools@rust-lang.org"
[[lists]]
address = "tools-team@rust-lang.org"
|
