diff --git a/groups b/groups index eb8ff7222..fa4cd2ae2 100644 --- a/groups +++ b/groups @@ -5,4 +5,5 @@ global:Project-Owners Project Owners user:Nico user/Nico Huber (Nico) user:Th3Fanbus user/Angel Pons (Th3Fanbus) user:dhendrix user/David Hendricks (dhendrix) +user:jenkins user/build bot (Jenkins) (jenkins) user:stefanct user/Stefan T (stefanct) diff --git a/project.config b/project.config index d2b472f4a..11eae8b80 100644 --- a/project.config +++ b/project.config @@ -48,6 +48,7 @@ owner = group user/David Hendricks (dhendrix) owner = group user/Nico Huber (Nico) owner = group user/Stefan T (stefanct) + owner = group user/build bot (Jenkins) (jenkins) [access "refs/heads/*"] exclusiveGroupPermissions = create delete submit create = group user/David Hendricks (dhendrix)