diff --git a/project.config b/project.config index 8b79b276f..3971d25ef 100644 --- a/project.config +++ b/project.config @@ -51,9 +51,11 @@ owner = group user/build bot (Jenkins) (jenkins) [access "refs/heads/*"] exclusiveGroupPermissions = create delete submit + create = group user/Angel Pons (Th3Fanbus) create = group user/David Hendricks (dhendrix) create = group user/Nico Huber (Nico) create = group user/Stefan T (stefanct) + delete = group user/Angel Pons (Th3Fanbus) delete = group user/David Hendricks (dhendrix) delete = group user/Nico Huber (Nico) delete = group user/Stefan T (stefanct)