On Sat, 2021-03-13 at 18:22 +0100, Petter Reinholdtsen wrote: > Strange no-one decided to redirect httpredir to deb.debian.org
They both point at the same Fastly CDN domain for now, since the httpredir mirror redirector was shut down. If you want to turn httpredir into a redirect, please file a ticket: https://wiki.debian.org/rt.debian.org#Debian_System_Administration > I am unsure how to reliably detect the current Debian mirror, That does seem like a hard problem. -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
