diff options
Diffstat (limited to 'teams/infra.toml')
| -rw-r--r-- | teams/infra.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 52316e5..1c4fc0f 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -22,6 +22,11 @@ crater = true bors.rust.review = true bors.crater.review = true +[rfcbot] +label = "T-infra" +name = "Infrastructure" +ping = "rust-lang/infra" + [website] name = "Infrastructure team" description = "infrastructure supporting the Rust project itself: CI, releases, bots, metrics" |