[Discuss] Split the dev@ mailing list?

2019-12-05 Thread Andy Seaborne
Now would be a good time to get this done so we can have dev@ for discussions. Please yes/no/etc and when it settles down I'll run a vote. When going to infra, we then have a definite PMC agreement to point to, not some minority or rogue action. On 19/11/2019 19:55, aj...@apache.org wrote:

Re: [Discuss] Split the dev@ mailing list?

2019-12-05 Thread Colin Gross
Yes. This works for me as I already have filters that essentially do the separation proposed pretty well. Colin A. Gross On Thu, Dec 5, 2019 at 9:11 AM Andy Seaborne wrote: > Now would be a good time to get this done so we can have dev@ for > discussions. > > Please yes/no/etc and when it set

Re: changes to Apache Jena site documentation

2019-12-05 Thread ajs6f
Yes, a committer needs to push the change through to be committed to the documentation base, and then the site must be published. We always publish for a release, but we can publish at other times, too, if needed. I do not recall seeing the actual change come across dev@ (which it normally woul