I am not sure of others, but I had a PR close from under me where ongoing discussion was as late as 2 weeks back. Given this, I assumed it was automated close and not manual !
When the change was opened is not a good metric about viability of the change (particularly when it touches code which is rarely modified; and so will merge after multiple releases). Regards, Mridul On Wed, Dec 30, 2015 at 7:12 PM, Reynold Xin <r...@databricks.com> wrote: > 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 >> For additional commands, e-mail: dev-h...@spark.apache.org >> > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@spark.apache.org For additional commands, e-mail: dev-h...@spark.apache.org
