On Mon, May 14, 2018 at 2:11 AM, sebb <seb...@gmail.com> wrote: > On 14 May 2018 at 03:16, Rob Tompkins <chtom...@gmail.com> wrote: > > > > > >> On May 13, 2018, at 9:07 PM, Gary Gregory <garydgreg...@gmail.com> > wrote: > >> > >> Hi Rob and all: > >> > >> I was happily surprised to see that the release plugin created a site > zip > >> file in the dev folder. > >> > >> This is most handy want you want to unzip the site and put on your home > >> folder for an RC. > >> > >> But now I wonder if we should not simply copy the full non-zipped site > to > >> dev, such that one can view reports right away, which is quite > convenient > >> when looking at a site from a phone for example. > >> > >> Thoughts? > > > > So long as we think that won’t step on any toes, I’m a +1 to that. > > If you are referring to > > https://dist.apache.org/repos/dist/dev/commons/ > > then that seems fine. > > It just needs to be ignored when renaming the release artefacts from > dev to release >
Yes, this is what I meant. This should be lower priority compared to the other tasks IMO. Gary > > >> > >> Gary > > > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org > > For additional commands, e-mail: dev-h...@commons.apache.org > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org > For additional commands, e-mail: dev-h...@commons.apache.org > >
