thank you: one less issue
a new finding: the Jira message points to the Jenkins build, why not
But it does not point to Git commit [1]
the link to the git commit is very useful to track how the fix was done, and
remains valid on a long period (which is not the case of the Jenkins build)
Is it p
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 [
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?
>
