On Wed, May 16, 2018 at 07:41:31PM +0200, gregor herrmann wrote: > On Wed, 16 May 2018 14:14:51 +0200, Dominique Dumont wrote: > > > On Tuesday, 15 May 2018 20:45:13 CEST you wrote: > > > alioth lists were moved from lists.alioth.debian.org to > > > @alioth-lists.debian.net. As far as I understood the maintainers > > > of alioth-lists.debian.net would prefer the real DNS name instead > > > of the redirect. Thus it would be sensible to replace this in the > > > maintainer fields of packages. > > Makes sense. > > Let's ask the alioth-lists admin (cc'd). > If they prefer it, I'm also all for it of course. > (And then I guess we have to change lots of other tools and > documentation, too …)
My own take in this is that it's probably not worth changing. The long-term plan for the service is currently only partially defined, and whilst alioth-lists.debian.net might outlive lists.alioth.debian.org, this is not certain, and both dates are several years away. So I wouldn't rush to make such a change yet, though it might be appropriate eventually. Cheers, Dominic.