[maven-checkstyle-plugin] unmerged PRs

[Benjamin Marwell <bm...@gmail.com>]

Dear list members,

there are currently unmerged PRs for the checkstyle plugin:
https://github.com/apache/maven-checkstyle-plugin/pulls
Some of them seem to be no-brainers (readme-/pom-url-/site-updates),
others have been discussed exhaustively.

How do I/we get them merged? I know that Robert wanted to see if we
could hand over the plugin to the checkstyle maintainers (which we
cannot atm). Is there  any "process" I need to  start for merging
those PRs?

Help is appreciated - thanks.
And of course wishing everyone a happy new year!

Ben

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org

Re: [maven-checkstyle-plugin] unmerged PRs

[Enrico Olivelli <eo...@gmail.com>]

Thank you Ben,
I will try to move forward a few pr today.


Enrico

Il ven 3 gen 2020, 08:10 Benjamin Marwell <bm...@gmail.com> ha scritto:

> Dear list members,
>
> there are currently unmerged PRs for the checkstyle plugin:
> https://github.com/apache/maven-checkstyle-plugin/pulls
> Some of them seem to be no-brainers (readme-/pom-url-/site-updates),
> others have been discussed exhaustively.
>
> How do I/we get them merged? I know that Robert wanted to see if we
> could hand over the plugin to the checkstyle maintainers (which we
> cannot atm). Is there  any "process" I need to  start for merging
> those PRs?
>
> Help is appreciated - thanks.
> And of course wishing everyone a happy new year!
>
> Ben
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
> For additional commands, e-mail: dev-help@maven.apache.org
>
>