diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-03-30 11:16:31 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-03-30 11:28:37 +0100 |
commit | e5c6237c156065eca542867d1495d0ec48888397 (patch) | |
tree | d679fe84b064e25fc5186a18d921b6972280c40a /teams/infra.toml | |
parent | 84fbef0d92829da723517cdbd87a97585ebba2d5 (diff) |
add rfcbot configuration
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" |