BBlack has submitted this change and it was merged.
Change subject: Cut off lead replication for a bit. SSH is busted
......................................................................
Cut off lead replication for a bit. SSH is busted
Change-Id: I622179c60a6aafcd43c906cfd8c1c5ba4ac07367
---
M modules/role/manifests/gerrit/production.pp
1 file changed, 7 insertions(+), 7 deletions(-)
Approvals:
BBlack: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/role/manifests/gerrit/production.pp
b/modules/role/manifests/gerrit/production.pp
index a83746a..fe34494 100644
--- a/modules/role/manifests/gerrit/production.pp
+++ b/modules/role/manifests/gerrit/production.pp
@@ -66,18 +66,18 @@
'push' => '+refs/*:refs/*',
'mirror' => true,
},
- 'lead' => {
+ # 'lead' => {
# Note: This is in single quotes on purpose. ${name} is not
# expected to be expanded by puppet but rather by gerrit
#
# lint:ignore:single_quote_string_with_variables
- 'url' =>
'[email protected]:/srv/gerrit/git/${name}.git',
+ # 'url' =>
'[email protected]:/srv/gerrit/git/${name}.git',
# lint:endignore
- 'threads' => '4',
- 'authGroup' => 'mediawiki-replication',
- 'push' => '+refs/*:refs/*',
- 'mirror' => true,
- },
+ # 'threads' => '4',
+ # 'authGroup' => 'mediawiki-replication',
+ # 'push' => '+refs/*:refs/*',
+ # 'mirror' => true,
+ # },
'github' => {
# Note: This is in single quotes on purpose. ${name} is not
# expected to be expanded by puppet but rather by gerrit
--
To view, visit https://gerrit.wikimedia.org/r/283585
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I622179c60a6aafcd43c906cfd8c1c5ba4ac07367
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[email protected]>
Gerrit-Reviewer: BBlack <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
