diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-02 12:11:51 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-02 12:11:51 +0200 |
| commit | cf46766228efebee17b2d59f1df56164e2ab1e03 (patch) | |
| tree | 8483ef9956c183ad90e952f69a870515c695cdc0 /teams | |
| parent | c564da3743287b0b6cd9526f193c6ddc7d195f64 (diff) | |
add bors permissions for the stdarch and team repos
Diffstat (limited to 'teams')
| -rw-r--r-- | teams/core.toml | 1 | ||||
| -rw-r--r-- | teams/libs.toml | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/teams/core.toml b/teams/core.toml index 9edfeb4..a551861 100644 --- a/teams/core.toml +++ b/teams/core.toml @@ -16,6 +16,7 @@ members = [ [permissions] bors.rust.review = true +bors.team.review = true [rfcbot] label = "T-core" diff --git a/teams/libs.toml b/teams/libs.toml index 2b6913e..258679f 100644 --- a/teams/libs.toml +++ b/teams/libs.toml @@ -20,6 +20,8 @@ perf = true crater = true bors.rust.review = true bors.hashbrown.review = true +bors.libc.review = true +bors.stdarch.review = true [rfcbot] label = "T-libs" |