diff options
author | David Kalnischkies <david@kalnischkies.de> | 2017-10-27 18:27:54 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2018-01-03 19:42:45 +0100 |
commit | a839efb126af066dc2e58400fb5e25911cb2a9f1 (patch) | |
tree | 24213dca5d203d9df2fccfa42a94f9173b66b178 /debian/apt.install | |
parent | 04ab37fecaf286f724bef2e0969d2b67ab5ac1b1 (diff) |
add tag-based control over mirror choices from the list
The old implementation used to construct a query string including the
release(s) the mirrorlist should be for, but that is hard to deal with
as this rules out that partial mirrors are included in the list and it
turns out that nobody ended up implementing it on the server side.
Controlling this on the client side allows partial mirrors to be
included and as a bonus prevents that we tell the mirrorlist server
(this rather generic) user information.
Diffstat (limited to 'debian/apt.install')
0 files changed, 0 insertions, 0 deletions