On Sun, Dec 23, 2012 at 10:26 AM, Henk P. Penning <penn...@uu.nl> wrote:
> On Sun, 23 Dec 2012, Benson Margulies wrote: > > Date: Sun, 23 Dec 2012 15:26:18 +0100 >> From: Benson Margulies <bimargul...@gmail.com> >> To: Henk P. Penning <penn...@uu.nl> >> Cc: Maven Developers List <dev@maven.apache.org>, >> "infrastruct...@apache.org" <infrastruct...@apache.org> >> >> Subject: Re: Getting Maven component and plugin releases to /dist -- space >> > > Hi Benson, > > excellent. > > As far as I can see, everything can go directly into > "archive.a.o/dist/maven/". > > The only point of having stuff in /dist/ is that projects > can refer users/downloaders to that stuff on a mirror. > Since there will be no such pointers to the stuff you want > to add, there is no point in having it on the mirrors, and > therefore in /dist/. > I would completely agree with that. But it's not what the policy says. It says it must go to dist. Do we really mean archives for everything and dist only for things that are linked from webpages so they can be mirrored? That's completely sensible.
