diff options
Diffstat (limited to 'teams/devtools.toml')
| -rw-r--r-- | teams/devtools.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/teams/devtools.toml b/teams/devtools.toml index 677f740..341b775 100644 --- a/teams/devtools.toml +++ b/teams/devtools.toml @@ -4,6 +4,11 @@ name = "devtools" leads = ["killercup", "Manishearth"] members = ["killercup", "Manishearth", "Xanewok", "fitzgen", "GuillaumeGomez", "oli-obk", "dwijnand"] +[rfcbot] +label = "T-dev-tools" +name = "Dev tols" +ping = "rust-lang/dev-tools" + [website] page = "dev-tools" name = "Dev tools team" |