Dzahn has submitted this change and it was merged.
Change subject: cache/misc: switch planet over to planet1001
......................................................................
cache/misc: switch planet over to planet1001
Bug:T101730
Change-Id: Ie3c6fd1fb34695864dc5d36486e38baf550a0eb6
---
M templates/varnish/misc.inc.vcl.erb
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/templates/varnish/misc.inc.vcl.erb
b/templates/varnish/misc.inc.vcl.erb
index fc1aea1..5a10413 100644
--- a/templates/varnish/misc.inc.vcl.erb
+++ b/templates/varnish/misc.inc.vcl.erb
@@ -74,7 +74,7 @@
}
}
elsif (req.http.Host ~ ".*\.planet\.wikimedia\.org" || req.http.Host ==
"planet.wikimedia.org") {
- set req.backend = zirconium;
+ set req.backend = planet1001;
} elsif (req.http.Host == "etherpad.wikimedia.org") {
set req.backend = etherpad1001;
return (pass);
--
To view, visit https://gerrit.wikimedia.org/r/221032
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie3c6fd1fb34695864dc5d36486e38baf550a0eb6
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
