We had problems in the past with at least 2 PRs that got merged and got stuck there with the need for manual intervention.
The original authors were not responsive so INFRA did the clean up. It may not be the case this time so let's try commenting on the PRs asking for them to be closed Sent from my iPhone > On Jan 8, 2016, at 6:52 PM, Roman Shaposhnik <[email protected]> wrote: > >> On Fri, Jan 8, 2016 at 5:38 PM, William Markito <[email protected]> wrote: >> Well, if we still have some remaining PR's open that are not being closed >> properly by the merges, let's ask asf infra to close them, no big deal. > > Why bother INFRA? Why not ask originators of PRs to close them? > > Thanks, > Roman.
