Re: Geode PR pile up

2017-07-21 Thread Xiaojian Zhou
I'm merging PR 648 now On Fri, Jul 21, 2017 at 3:32 PM, Jacob Barrett wrote: > All, > > I followed up on the issue regarding abandoned PRs. The only way to close > them if the user has walked away is to do an empty commit. Thanks to Mark > for finding this ticket with explanation > https://issue

Re: Geode PR pile up

2017-07-21 Thread Jacob Barrett
All, I followed up on the issue regarding abandoned PRs. The only way to close them if the user has walked away is to do an empty commit. Thanks to Mark for finding this ticket with explanation https://issues.apache.org/jira/browse/INFRA-13690 and instructions on how to do it. I would say any PR