Your message dated Mon, 13 Feb 2017 15:52:11 +0800
with message-id <[email protected]>
and subject line Re: Bug#819708: mirrors: support debian-ports
has caused the Debian Bug report #819708,
regarding mirrors: support debian-ports
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
819708: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=819708
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: mirrors
Severity: wishlist
User: [email protected]
Usertags: httpredir mirror-list
X-Debbugs-CC: [email protected]
According to the Debian ports website there are a number of mirrors for
the unofficial Debian ports archive. It would be nice if the mirrors
information for that could move into the Debian mirrors list and if the
httpredir site could support the debian-ports archive.
http://www.ports.debian.org/mirrors
--
bye,
pabs
https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
--- End Message ---
--- Begin Message ---
On Mon, 2017-02-13 at 07:45 +0000, Peter Palfrader wrote:
> The mirror masterlist lists a few -ports mirrors, see
> https://anonscm.debian.org/cgit/mirror/mirror-masterlist.git/
Great.
Also deb.d.o (httpredir replacement) supports debian-ports.
> I think that's it for the mirrors team?
Given the above, I think so too, closing.
Next step is for the ports team to build their mirror list based on
mirror-masterlist.
--
bye,
pabs
https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
--- End Message ---
