Update the DNS round-robin mirror pool to only include a few fast and reliable HTTP mirrors
Originally created by @intrigeri on #11284 (Redmine)
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: tails/tails#7161
Related issues
-
Blocked by tails/tails#10295 -
Blocked by tails/tails#11109 -
Blocked by tails/tails#11123 -
Blocked by tails/tails#8642
Edited by intrigeri