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/rustdoc.toml | |
| parent | 84fbef0d92829da723517cdbd87a97585ebba2d5 (diff) | |
add rfcbot configuration
Diffstat (limited to 'teams/rustdoc.toml')
| -rw-r--r-- | teams/rustdoc.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/teams/rustdoc.toml b/teams/rustdoc.toml index f959492..17272cf 100644 --- a/teams/rustdoc.toml +++ b/teams/rustdoc.toml @@ -14,6 +14,11 @@ members = [ crater = true bors.rust.review = true +[rfcbot] +label = "T-rustdoc" +name = "Rustdoc" +ping = "rust-lang/rustdoc" + [website] name = "Rustdoc team" description = "Documentation tools including Rustdoc and docs.rs" |