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:
[x] remove the entry from DNS.
[ ] remove the redirect (which is on MediaWiki app servers since they have a mediawiki.org wildcard certificate)
```
name=modules/mediawiki/files/apache/sites/redirects/redirects.dat
rewrite integration.mediawiki.org https://integration.wikimedia.org
```