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
