Update the DNS round-robin mirror pool to only include a few fast and reliable HTTP mirrors
This includes updating our internal doc (in mirrors.git) accordingly:
- stop unconditionally adding new mirrors to the DNS round-robin pool;
- how to manage the DNS round-robin pool (what mirrors should go in or
not, when to remove mirrors from it), and keep it in sync’ with what
we have in
mirrors.json(e.g. when we disable a mirror inmirrors.json, presumably we also want to remove it from the DNS round-robin pool.
Parent Task: #7161 (closed)
Related issues
-
Blocked by #10295 (closed) -
Blocked by #11109 (closed) -
Blocked by #11123 (closed) -
Blocked by #8642 (closed)
Original created by @intrigeri on 11284 (Redmine)