No there is not. I actually manually closed them to cut down the number of open pull requests. Feel free to reopen individual ones.
On Wednesday, December 30, 2015, Mridul Muralidharan <[email protected]> wrote: > Is there a script running to close "old" PR's ? I was not aware of any > discussion about this in dev list. > > - Mridul > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] <javascript:;> > For additional commands, e-mail: [email protected] <javascript:;> > >
