From 19dd1db795c04d5f635336a0dc8926874e7e8005 Mon Sep 17 00:00:00 2001
From: Thomas Boerger <thomas@webhippie.de>
Date: Tue, 1 Oct 2019 10:50:49 +0200
Subject: [PATCH] Assign internal developers to repo

---
 .github/settings.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/settings.yml b/.github/settings.yml
index f7cd7a28ea..c009ee909a 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -49,6 +49,8 @@ labels:
 teams:
   - name: ci
     permission: admin
+  - name: internal developers
+    permission: write
 
 branches:
   - name: master