0b921968d1
New options for github replication and local replication. Change-Id: I06a6ca5347232ec80e26f6116742ab0007435ffe
19 lines
386 B
Plaintext
19 lines
386 B
Plaintext
# This file is managed by puppet.
|
|
# https://github.com/openstack/openstack-ci-puppet
|
|
|
|
<% if replicate_github -%>
|
|
[remote "github"]
|
|
url = git@github.com:${name}.git
|
|
authGroup = Anonymous Users
|
|
replicatePermissions = false
|
|
mirror = true
|
|
<% end -%>
|
|
|
|
<% if replicate_local -%>
|
|
[remote "local"]
|
|
url = file:///var/lib/git/${name}.git
|
|
replicationDelay = 0
|
|
threads = 4
|
|
mirror = true
|
|
<% end -%>
|