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 | |
parent | c564da3743287b0b6cd9526f193c6ddc7d195f64 (diff) |
add bors permissions for the stdarch and team repos
-rw-r--r-- | people/alexcrichton.toml | 1 | ||||
-rw-r--r-- | people/gnzlbg.toml | 1 | ||||
-rw-r--r-- | src/permissions.rs | 2 | ||||
-rw-r--r-- | teams/core.toml | 1 | ||||
-rw-r--r-- | teams/libs.toml | 2 |
5 files changed, 6 insertions, 1 deletions
diff --git a/people/alexcrichton.toml b/people/alexcrichton.toml index d2d6b32..5aa0a00 100644 --- a/people/alexcrichton.toml +++ b/people/alexcrichton.toml @@ -5,6 +5,5 @@ irc = "acrichto" email = "acrichton@mozilla.com" [permissions] -bors.libc.review = true bors.rustup_rs.review = true bors.compiler_builtins.review = true diff --git a/people/gnzlbg.toml b/people/gnzlbg.toml index e765e56..beb288a 100644 --- a/people/gnzlbg.toml +++ b/people/gnzlbg.toml @@ -4,3 +4,4 @@ github-id = 904614 [permissions] bors.libc.review = true +bors.stdarch.review = true diff --git a/src/permissions.rs b/src/permissions.rs index c4d2454..e2f6dc1 100644 --- a/src/permissions.rs +++ b/src/permissions.rs @@ -147,6 +147,8 @@ permissions! { rust, rustlings, rustup_rs, + stdarch, + team, } } 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" |