From 87642c844a86a2d55504c0bcdf535ed6f4b0dc63 Mon Sep 17 00:00:00 2001
From: Thomas Boerger <thomas@webhippie.de>
Date: Tue, 1 Oct 2019 10:52:29 +0200
Subject: [PATCH] Fix internal developers permission

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

diff --git a/.github/settings.yml b/.github/settings.yml
index c009ee909..55954ed6d 100644
--- a/.github/settings.yml
+++ b/.github/settings.yml
@@ -50,7 +50,7 @@ teams:
   - name: ci
     permission: admin
   - name: internal developers
-    permission: write
+    permission: push
 
 branches:
   - name: master