Page MenuHomePhabricator

Decommission integration.mediawiki.org
Closed, ResolvedPublic

Description

As part of changing the envoy certificates on contint machines, @Dzahn removed some obsolete CN (https://gerrit.wikimedia.org/r/c/operations/puppet/+/1014132 )

One of them to be removed is integration.mediawiki.org. It has not been used since March 2013 and we no more refer to it. From https://www.mediawiki.org/wiki/Wikimedia_Engineering/Report/2013/March has:

The continuous integration site has been moved from integration.mediawiki.org to integration.wikimedia.org and is now always on HTTPS.

Some cleanup to happen:

  • remove the entry from DNS.
  • remove the redirect (which is on MediaWiki app servers since they have a mediawiki.org wildcard certificate)
modules/mediawiki/files/apache/sites/redirects/redirects.dat
rewrite    integration.mediawiki.org       https://integration.wikimedia.org

Event Timeline

Change #1054646 had a related patch set uploaded (by Dzahn; author: Dzahn):

[operations/dns@master] delete integration.mediawiki.org

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

Mentioned in SAL (#wikimedia-operations) [2024-07-17T17:27:12Z] <mutante> removing integration.mediawikia.org from DNS - T361250

Mentioned in SAL (#wikimedia-operations) [2024-07-17T17:27:23Z] <mutante> removing integration.mediawiki.org from DNS - T361250

Change #1054646 merged by Dzahn:

[operations/dns@master] delete integration.mediawiki.org

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

Change #1054919 had a related patch set uploaded (by Dzahn; author: Dzahn):

[operations/puppet@production] redirects.dat: delete integration.mediawiki.org

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

Dzahn changed the task status from Open to In Progress.Jul 17 2024, 5:47 PM
Dzahn updated the task description. (Show Details)
LSobanski triaged this task as Low priority.
LSobanski moved this task from Incoming to Work in Progress on the collaboration-services board.

Change #1054919 merged by Alexandros Kosiaris:

[operations/puppet@production] redirects.dat: delete integration.mediawiki.org

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

Dzahn updated the task description. (Show Details)