Dzahn has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/327280 )

Change subject: remove wikipedia.org.br
......................................................................


remove wikipedia.org.br

This domain is not registered by WMF anymore
nor is it pointing to WMF nameservers.

We should not have domains in our config that we
don't control anymore.

Bug: T137105
Change-Id: I26a989b609b257d70c8d342905bd5e8273c7ced4
---
D templates/wikipedia.org.br
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Paladox: Looks good to me, but someone else must approve
  jenkins-bot: Verified
  Dzahn: Looks good to me, approved



diff --git a/templates/wikipedia.org.br b/templates/wikipedia.org.br
deleted file mode 120000
index f8431e2..0000000
--- a/templates/wikipedia.org.br
+++ /dev/null
@@ -1 +0,0 @@
-wikipedia.org
\ No newline at end of file

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I26a989b609b257d70c8d342905bd5e8273c7ced4
Gerrit-PatchSet: 2
Gerrit-Project: operations/dns
Gerrit-Branch: master
Gerrit-Owner: Dzahn <[email protected]>
Gerrit-Reviewer: BBlack <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to