On Mon, 10 Sep 2018, Philipp Kern wrote: > What's mirroradm's take on this?
Well, (with my hat on, ) my take on this is that a) all (3rd party) http mirrors are potentially bad and can go out of date and become unmaintained and users may never notice. b) deb.debian.org aims to be a reasonable default choice for most that is backed and maintained by DSA. If we have some means of automatically finding a close-by/fast mirror, then we could do the following: - Add it to sources.list, *and* *also*, given (a) above, - add deb.debian.org as a fallback. [ Also, once we have reasonable default choices, we should stop asking people at priority high. Sure, if you know you want a proxy, switch to medium and pick that. Ditto if you have your own preferred mirror. ] -- | .''`. ** Debian ** Peter Palfrader | : :' : The universal https://www.palfrader.org/ | `. `' Operating System | `- https://www.debian.org/