diff --git a/project.config b/project.config index 88bd0b070..61edec7da 100644 --- a/project.config +++ b/project.config @@ -36,3 +36,5 @@ delete = group user/David Hendricks (dhendrix) delete = group user/Stefan Tauner (stefanct) exclusiveGroupPermissions = create delete +[access "refs/*"] + label-Verified = -1..+1 group user/Stefan Tauner (stefanct)