diff options
| -rw-r--r-- | baserock_gerrit/All-Projects/project.config | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/baserock_gerrit/All-Projects/project.config b/baserock_gerrit/All-Projects/project.config index d3e8b472..e1c44040 100644 --- a/baserock_gerrit/All-Projects/project.config +++ b/baserock_gerrit/All-Projects/project.config @@ -66,6 +66,12 @@ create = group Mirroring Tools forgeAuthor = group Mirroring Tools forgeCommitter = group Mirroring Tools + push = group Mirroring Tools + +# 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/tags/*"] |