You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@activemq.apache.org by Clebert Suconic <cl...@gmail.com> on 2015/07/13 18:21:51 UTC

PR's not being closed after merged...

I've talked to Infra..
it's either a temporary issue on gibhub or they have changed something
on how PRs are merged.


Meanwhile we will have to close them manually after merged.


This is for both Artemis and Activemq5. It seems apache/guthub wide.