From 2cecf3a8727d64da94900716691c9e135c6d5f9e Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Sun, 24 Sep 2023 20:43:05 +0000 Subject: [PATCH] Modify access rules --- groups | 1 + project.config | 2 ++ 2 files changed, 3 insertions(+) diff --git a/groups b/groups index 78f3fe7d7..21074550b 100644 --- a/groups +++ b/groups @@ -10,4 +10,5 @@ user:aklm user/Anastasia Klimchuk (aklm) user:dhendrix user/David Hendricks (dhendrix) user:heijligen user/Thomas Heijligen (heijligen) user:jenkins user/build bot (Jenkins) (jenkins) +user:patrick user/Patrick Georgi (patrick) user:stepan user/Stefan Reinauer (stepan) diff --git a/project.config b/project.config index ae17b6e78..440ead4a2 100644 --- a/project.config +++ b/project.config @@ -43,6 +43,8 @@ owner = group user/David Hendricks (dhendrix) owner = group user/build bot (Jenkins) (jenkins) read = block group user/Nico Huber (Nico) + create = group user/Patrick Georgi (patrick) + create = group user/Stefan Reinauer (stepan) [access "refs/heads/*"] exclusiveGroupPermissions = create delete label-Code-Review submit create = group user/Anastasia Klimchuk (aklm)