From cf46766228efebee17b2d59f1df56164e2ab1e03 Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Fri, 2 Aug 2019 12:11:51 +0200
Subject: add bors permissions for the stdarch and team repos

---
 src/permissions.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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,
     }
 }
 
-- 
cgit v1.2.3