coren has submitted this change and it was merged.
Change subject: Don't bother replicating to formey anymore
......................................................................
Don't bother replicating to formey anymore
We did this to act as a Gerrit slave during initial setup, but
nowadays this isn't really necessary since we've got amanda
backups, plus replication of everything to Jenkins, Gitblit and
Github.
If manganese were to explode, we'd want to swap to another box
in eqiad anyway (probably antimony).
Change-Id: Ie4501c4055c06cdf869d77f6c48bb85d2c330550
---
M manifests/role/gerrit.pp
1 file changed, 1 insertion(+), 2 deletions(-)
Approvals:
coren: Looks good to me, approved
jenkins-bot: Verified
diff --git a/manifests/role/gerrit.pp b/manifests/role/gerrit.pp
index 5651311..89b8e75 100644
--- a/manifests/role/gerrit.pp
+++ b/manifests/role/gerrit.pp
@@ -28,8 +28,7 @@
replication => {
# If adding a new entry, remember to add the
fingerprint to gerrit2's known_hosts
"inside-wmf" => {
- "url" =>
'[email protected]:/var/lib/gerrit2/review_site/git/${name}.git
- url = [email protected]:/var/lib/git/${name}.git',
+ "url" =>
'[email protected]:/var/lib/git/${name}.git',
"threads" => "4",
"mirror" => "true",
},
--
To view, visit https://gerrit.wikimedia.org/r/63801
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie4501c4055c06cdf869d77f6c48bb85d2c330550
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: coren <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
