diff options
Diffstat (limited to 'baserock_gerrit/All-Projects/project.config')
| -rw-r--r-- | baserock_gerrit/All-Projects/project.config | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/baserock_gerrit/All-Projects/project.config b/baserock_gerrit/All-Projects/project.config index e1c44040..e418ac0b 100644 --- a/baserock_gerrit/All-Projects/project.config +++ b/baserock_gerrit/All-Projects/project.config @@ -66,13 +66,16 @@ create = group Mirroring Tools forgeAuthor = group Mirroring Tools forgeCommitter = group Mirroring Tools - push = group Mirroring Tools + push = +force group Mirroring Tools + -# Allow Lorry to force-push to personal branches, but don't ever let +# We allow Lorry to force-push to personal branches, but don't ever let # it force-push to master as this may undo merges that Gerrit just did # and really confuse things. -[access "^refs/heads/(?!master$)"] - push = +force group Mirroring Tools +[access "refs/heads/master"] + exclusiveGroupPermissions = push + push = block +force group Mirroring Tools + [access "refs/tags/*"] pushTag = group Release Team |