Chad has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/283585

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, 6 insertions(+), 6 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/puppet 
refs/changes/85/283585/1

diff --git a/modules/role/manifests/gerrit/production.pp 
b/modules/role/manifests/gerrit/production.pp
index a83746a..b0112d8 100644
--- a/modules/role/manifests/gerrit/production.pp
+++ b/modules/role/manifests/gerrit/production.pp
@@ -66,17 +66,17 @@
                     '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

-- 
To view, visit https://gerrit.wikimedia.org/r/283585
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I622179c60a6aafcd43c906cfd8c1c5ba4ac07367
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Chad <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to