diff --git a/project.config b/project.config index 6ce480941..2899cf3ff 100644 --- a/project.config +++ b/project.config @@ -15,5 +15,10 @@ submit = group Minix devs push = +force group Administrators pushMerge = group Minix admins + pushTag = group Administrators [access "refs/*"] read = group Non-Interactive Users + pushTag = group Administrators +[access "refs/tags/*"] + create = group Administrators + pushTag = group Administrators