On Tue, 26 Dec 2017, Arturo Borrero Gonzalez wrote: > On 26 December 2017 at 10:22, Alexander Wirt <formo...@debian.org> wrote: > > On Tue, 26 Dec 2017, Jonathan Dowland wrote: > > > >> On Tue, Dec 26, 2017 at 08:16:41AM +0100, Alexander Wirt wrote: > >> > On Mon, 25 Dec 2017, Marco d'Itri wrote: > >> > > I am not looking forward to update all Vcs-Git and Vcs-Browser headers > >> > > currently referencing anonscm.debian.org. > >> > Unfortunately that is something that has to be done. At least unless > >> > someone > >> > wants to write some kind of redirection map. > >> > >> I'm not too concerned about the work, however, I thought the whole point > >> of "anonscm.debian.org" was exactly to be a portable name. > > that doesn't make urls magically working and we can't do a hard switch > > between those hostnames. > > > > And regarding team mailing lists, Would you please remind us what is > the proposed replacement? For important (!) lists, lists.debian.org. For commit lists, use gitlab notifications. Everything else is no in my hand.
Alex
