Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/399533 )
Change subject: gerrit replication: don't bother trying to create repos on
github
......................................................................
gerrit replication: don't bother trying to create repos on github
A) You can't, and B) the logs are confusing and make it look like
you can.
While we're here, remove silly thread allocations that don't make
sense
Change-Id: I7fc17468dd5dfd8d49143c3c8a679b9c6ea72db1
---
M hieradata/role/common/gerrit.yaml
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
Hashar: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/hieradata/role/common/gerrit.yaml
b/hieradata/role/common/gerrit.yaml
index 0242cc1..7f9abdf 100644
--- a/hieradata/role/common/gerrit.yaml
+++ b/hieradata/role/common/gerrit.yaml
@@ -20,16 +20,15 @@
gerrit::jetty::replication:
github:
url: '[email protected]:wikimedia/${name}'
- threads: '4'
authGroup: 'mediawiki-replication'
remoteNameStyle: 'dash'
mirror: true
push:
- '+refs/heads/*:refs/heads/*'
- '+refs/tags/*:refs/tags/*'
+ createMissingRepositories: false
slaves:
url: '[email protected]:/srv/gerrit/git/${name}.git'
- threads: '4'
mirror: true
replicateProjectDeletions: true
replicateHiddenProjects: true
--
To view, visit https://gerrit.wikimedia.org/r/399533
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7fc17468dd5dfd8d49143c3c8a679b9c6ea72db1
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
