diff options
author | Pedro Alvarez Piedehierro <palvarez89@gmail.com> | 2017-10-04 14:40:01 +0000 |
---|---|---|
committer | Pedro Alvarez Piedehierro <palvarez89@gmail.com> | 2017-10-04 14:40:01 +0000 |
commit | 976172c6fc9513395f09909a4ac9392cf00c1b63 (patch) | |
tree | 0a560a8d3f43f9500a683c978d8f4921c94653de /baserock_gerrit/replication.config | |
parent | 9d0b282cc4d2eac1f881ce6ceb311388518672dd (diff) | |
parent | 8f5352e8f0ccbb4ba358125ffb76af72580a814e (diff) | |
download | infrastructure-976172c6fc9513395f09909a4ac9392cf00c1b63.tar.gz |
Merge branch 'kill-obsolete' into 'master'
Kill obsolete system definitions
See merge request baserock/infrastructure!8
Diffstat (limited to 'baserock_gerrit/replication.config')
-rw-r--r-- | baserock_gerrit/replication.config | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/baserock_gerrit/replication.config b/baserock_gerrit/replication.config deleted file mode 100644 index 067acc9b..00000000 --- a/baserock_gerrit/replication.config +++ /dev/null @@ -1,30 +0,0 @@ -# Configuration for gerrit-replication plugin. -# -# This handles pushing changes from gerrit.baserock.org to git.baserock.org. -# -# To deploy changes in this file to production, run: -# ansible-playbook -i hosts baserock_gerrit/instance-mirroring-config.yml - -[remote "trove"] - url = ssh://git@git.baserock.org/${name}.git - - # Disable force-pushing and only sync 'master' and tags. - # - # This will probably prove annoying and we'll need to mirror more branches in - # future. But right now there are hundreds of personal branches and I want to - # avoid potential push errors for branches we don't care about. - push = refs/heads/master:refs/heads/master - push = refs/tags/*:refs/tags/* - - createMissingRepositories = false - replicatePermissions = false - - # What to sync: this is a regexp that must match the whole project name. - projects = ^baserock/.*$ - - # If true, gerrit-replication will remove remote branches that are absent in - # the trove. This is a bit dangerous, but necessary if we are to make gerrit - # the 'master'. Note that if you set 'authGroup', branches that are not - # visible to the configured authorisation group will also be removed. So do - # not set 'authGroup' to anything. - mirror = false |