Define format for per-mirror hostname
For #8635 (closed) (at least) we need to decide how to call the mirrors. This also impacts the config file format (#8637 (closed)) and the script (#8639 (closed)).
Note that all mirrors will need to answer both on the fallback hostname
(likely dl.amnesia.boum.org) and on their own one, so that we can
add them to the fast and reliable fallback pool (for non-JS users)
without any need for server-side configuration changes.
Also note that whatever per-mirror hostname format we choose must exist, and be maintained, in the DNS.
Feature Branch: doc/11054-per-mirror-hostname
Parent Task: #7161 (closed)
Related issues
- Blocks #8635 (closed)
- Blocks #8637 (closed)
- Blocks #8639 (closed)
Original created by @intrigeri on 10294 (Redmine)