summaryrefslogtreecommitdiffstats
path: root/people
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-08-02 12:11:51 +0200
committerPietro Albini <pietro@pietroalbini.org>2019-08-02 12:11:51 +0200
commitcf46766228efebee17b2d59f1df56164e2ab1e03 (patch)
tree8483ef9956c183ad90e952f69a870515c695cdc0 /people
parentc564da3743287b0b6cd9526f193c6ddc7d195f64 (diff)
add bors permissions for the stdarch and team repos
Diffstat (limited to 'people')
-rw-r--r--people/alexcrichton.toml1
-rw-r--r--people/gnzlbg.toml1
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