[19:47] <sbraz> hello, how would we go about removing https://launchpad.net/ubuntu/+mirror/ubuntu.bhs.mirrors.ovh.net-archive? i can edit it but not delete it, it's the same as https://launchpad.net/ubuntu/+mirror/ubuntu.mirrors.ovh.net-archive (except the certificate is only valid for the latter), both DNS records point to the same IP and anycast is used so that requests land in either FR or CA
[20:36] <sarnold> I think mirrors@ubuntu.com is the Right Way -- but I have to ask if it really matters?
[20:37] <sarnold> if the DNS name is going away, hopefully the mirror-prober would notice within a few days