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/core.toml | |
parent | 84fbef0d92829da723517cdbd87a97585ebba2d5 (diff) |
add rfcbot configuration
Diffstat (limited to 'teams/core.toml')
-rw-r--r-- | teams/core.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/teams/core.toml b/teams/core.toml index 2d2d33c..729dc2c 100644 --- a/teams/core.toml +++ b/teams/core.toml @@ -17,6 +17,11 @@ members = [ [permissions] bors.rust.review = true +[rfcbot] +label = "T-core" +name = "Core" +ping = "rust-lang/core" + [website] name = "Core team" description = "Direction of the project, subteam leadership, cross-cutting concerns." |