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 /people | |
parent | c564da3743287b0b6cd9526f193c6ddc7d195f64 (diff) |
add bors permissions for the stdarch and team repos
Diffstat (limited to 'people')
-rw-r--r-- | people/alexcrichton.toml | 1 | ||||
-rw-r--r-- | people/gnzlbg.toml | 1 |
2 files changed, 1 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 |