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 <[email protected]> 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 <[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] >> For additional commands, e-mail: [email protected] >> > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
