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 /src | |
parent | c564da3743287b0b6cd9526f193c6ddc7d195f64 (diff) |
add bors permissions for the stdarch and team repos
Diffstat (limited to 'src')
-rw-r--r-- | src/permissions.rs | 2 |
1 files changed, 2 insertions, 0 deletions
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, } } |