If you have a batch of them to close, feel free to create a ticket on JIRA with the PR number and we can close them for you :)
On Fri, Mar 31, 2017 at 2:26 AM, Dominik Stadler <[email protected]> wrote: > one workaround that I use is to do a dummy-commit with a "closes" comment, > not nice, but works. > > Dominik > > On Mar 31, 2017 10:20, "Niclas Hedhman" <[email protected]> wrote: >> >> Hi, >> Some pull requests are invalid for one reason or the other, and the >> original creator is "missing" or don't want to remove it, how should we get >> it taken away? >> >> >> Thanks >> -- >> Niclas Hedhman, Software Developer >> http://polygene.apache.org - New Energy for Java
