Sure thing. :) Unfortunately, closing PRs means closing Github. (That's the only way you could do it.) Though, if was reasonably certain that the rest of your message was hinting at the same idea... :)
On 16 March 2013 00:56, Benoit Chesneau <[email protected]> wrote: > On Fri, Mar 15, 2013 at 4:46 PM, Noah Slater <[email protected]> wrote: > > > Read Benoit's email again. He essentially suggested shutting down the > > mirror. :( > > > > No i'm not . I'm suggesting to close PRs which is quite different. > > I will summarise my view in better words later in the day. Not the > best time right now :) > > - benoît > -- NS
