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 <mri...@gmail.com> 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: dev-unsubscr...@spark.apache.org <javascript:;> > For additional commands, e-mail: dev-h...@spark.apache.org <javascript:;> > >
