Bug#1053935: www.debian.org: outdated debian-cd, debian-archive, debian-ports mirror lists

2023-10-25 Thread Jing Luo
On 2023-10-23 21:01, Adam D. Barratt wrote: On Mon, 2023-10-23 at 20:44 +0900, Jing Luo wrote: On 2023-10-21 02:46, Adam D. Barratt wrote: > Note that Mirrors.masterlist.in is not used verbatim by any part of > the > website. Rather, the Mirror Team's status monitoring tools (see > e.g. >

Bug#1053935: www.debian.org: outdated debian-cd, debian-archive, debian-ports mirror lists

2023-10-23 Thread Adam D. Barratt
On Mon, 2023-10-23 at 20:44 +0900, Jing Luo wrote: > Hello Adam, > > First of all, I would like to thank the mirror team for all the hard > work. > > On 2023-10-21 02:46, Adam D. Barratt wrote: > > Note that Mirrors.masterlist.in is not used verbatim by any part of > > the > > website. Rather,

Bug#1053935: www.debian.org: outdated debian-cd, debian-archive, debian-ports mirror lists

2023-10-23 Thread Jing Luo
Hello Adam, First of all, I would like to thank the mirror team for all the hard work. On 2023-10-21 02:46, Adam D. Barratt wrote: Note that Mirrors.masterlist.in is not used verbatim by any part of the website. Rather, the Mirror Team's status monitoring tools (see e.g.

Bug#1053935: www.debian.org: outdated debian-cd, debian-archive, debian-ports mirror lists

2023-10-20 Thread Adam D. Barratt
Control: tags -1 + moreinfo On Sun, 2023-10-15 at 00:14 +0900, Jing Luo wrote: > The debian-cd [1][2], debian-archive [3], debian-ports [4] mirror > lists are > outdated. They do not reflect Mirrors.masterlist.in [5]. > Related bug report: #1034832 > [...] > [1]

Bug#1053935: www.debian.org: outdated debian-cd, debian-archive, debian-ports mirror lists

2023-10-14 Thread Jing Luo
Package: www.debian.org Severity: normal X-Debbugs-Cc: mirr...@debian.org The debian-cd [1][2], debian-archive [3], debian-ports [4] mirror lists are outdated. They do not reflect Mirrors.masterlist.in [5]. Related bug report: #1034832 Furthermore, the debian-cd mirroring instruction [6] says: