From 44e52d0de1c1f8712b30e67ef9fe8a80bd8f2bcb Mon Sep 17 00:00:00 2001 From: Thomas Boerger Date: Tue, 1 Oct 2019 10:56:20 +0200 Subject: [PATCH] Rename internal developers to employees --- .github/settings.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/settings.yml b/.github/settings.yml index 55954ed6d..b724872fb 100644 --- a/.github/settings.yml +++ b/.github/settings.yml @@ -49,7 +49,7 @@ labels: teams: - name: ci permission: admin - - name: internal developers + - name: employees permission: push branches: