Gitbox pull requests

2017-12-11 Thread Chas Honton
Pull requests for new project are not sent to the dev mailing list (e.g. https://github.com/apache/maven-deploy-plugin/pull/1). Are these PRs supposed to be forwarded to some mailing list? Are these PRs supposed to be automatically built? Thanks, Chas

Re: Git migration next steps

2017-12-11 Thread Stephen Connolly
On Sun 10 Dec 2017 at 09:59, Hervé BOUTEMY wrote: > here is a list of strange issues in CI jobs: > > - Doxia Sitetools is failing at checkout [1] > > - Maven core branches fail in maven-wip [2] while the multi-branch does not > fail [3]: AFAIK, same Jenkins files are used, isn't it? Ubuntu-4 wa