John F. Lewis has uploaded a new change for review.
https://gerrit.wikimedia.org/r/231881
Change subject: mirrors: add debian.wikimedia.org as a servername
......................................................................
mirrors: add debian.wikimedia.org as a servername
DNS: I934515a64d4f19d42fe83f50be7ad8b6173028be
Change-Id: I59936679ab3a1007c48bbfffb26cfe16e38f894f
---
M modules/mirrors/files/nginx.conf
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/81/231881/1
diff --git a/modules/mirrors/files/nginx.conf b/modules/mirrors/files/nginx.conf
index f7f6989..bbcdd49 100644
--- a/modules/mirrors/files/nginx.conf
+++ b/modules/mirrors/files/nginx.conf
@@ -1,7 +1,7 @@
server {
listen 80;
listen [::]:80;
- server_name mirrors.wikimedia.org ubuntu.wikimedia.org;
+ server_name mirrors.wikimedia.org ubuntu.wikimedia.org debian.wikimedia.org;
root /srv/mirrors;
location / {
--
To view, visit https://gerrit.wikimedia.org/r/231881
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I59936679ab3a1007c48bbfffb26cfe16e38f894f
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: John F. Lewis <johnflewi...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
