Re: Gitbox pull requests

2017-12-12 Thread Herve Boutemy
On 2017-12-12 07:11, Chas Honton wrote: > 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? they are sent to iss...@maven.apache.org, like Jira issues [

Re: Gitbox pull requests

2017-12-12 Thread Stephen Connolly
On Tue 12 Dec 2017 at 06:11, Chas Honton wrote: > 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? >

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