[MCHECKSTYLE] Request for merging PRs #17 and #28 please

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

[MCHECKSTYLE] Request for merging PRs #17 and #28 please

Benjamin Marwell
Hi,

PRs #17 and #28 seem to be ready to be merged. They are also approved
by reviewers.
If they still look good, could they be merged? They are open for a while now.

* https://github.com/apache/maven-checkstyle-plugin/pull/17
* https://github.com/apache/maven-checkstyle-plugin/pull/28

Thanks!
Ben

---------------------------------------------------------------------
To unsubscribe, e-mail: [hidden email]
For additional commands, e-mail: [hidden email]

Reply | Threaded
Open this post in threaded view
|

Re: [MCHECKSTYLE] Request for merging PRs #17 and #28 please

Enrico Olivelli
working on them now

sorry for so late reply

Enrico

Il giorno lun 17 ago 2020 alle ore 14:20 Benjamin Marwell <
[hidden email]> ha scritto:

> Hi,
>
> PRs #17 and #28 seem to be ready to be merged. They are also approved
> by reviewers.
> If they still look good, could they be merged? They are open for a while
> now.
>
> * https://github.com/apache/maven-checkstyle-plugin/pull/17
> * https://github.com/apache/maven-checkstyle-plugin/pull/28
>
> Thanks!
> Ben
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [hidden email]
> For additional commands, e-mail: [hidden email]
>
>