Bug#559355: mirrors: http://www.debian.org/mirror/list pushed unofficial mirrors not recognized

[Simon Paillard <simon.paillard@resel.enst-bretagne.fr>]

Package: mirrors
Severity: minor

Hi,

On Wed, Dec 02, 2009 at 01:08:05PM +0100, theodor@reppes.de wrote:
> why don't you list all debian primary mirrors under "Primary Debian
> mirror sites" on http://www.debian.org/mirror/list?

On this page :
- primary actually refers to ftp.CC.d.o mirrors
- secondary refers to remaining mirrors

Definitions is unclear, since pushed mirrors which are not ftp.CC.
actually don't meet any of the definitions.

Given the current infrastructure, using ftp.CC.d.o mirrors actually
gives better guarantees than non-Debian controlled mirrors.
Indeed, Debian can modify ftp.CC.d.o DNS entry if a mirror ever fails.

However, you get a point: we should be able to distinguish pushed
mirrors which are not ftp.CC.d.o ones. (so debian-installer should).

> I am missing i.e. mirrors.se.kernel.org and debian.morphium.info.
> 
> According to http://www.de.debian.org/dmc/today/, those are primary mirrors, too.

Primary *pushed*.


-- 
Simon Paillard