I think Sid had already enabled the stale bot few months back On Wed, Apr 17, 2019, 22:12 Kamil Breguła <[email protected]> wrote:
> +1 > > On Wed, Apr 17, 2019, 11:10 PM Bas Harenslak < > [email protected]> > wrote: > > > +1 > > > > Bas > > > > On 17 Apr 2019, at 23:09, Jarek Potiuk <[email protected]<mailto: > > [email protected]>> wrote: > > > > +1 > > > > Principal Software Engineer > > Phone: +48660796129 > > > > śr., 17 kwi 2019, 23:04 użytkownik Kevin Yang <[email protected]<mailto: > > [email protected]>> napisał: > > > > +1 > > > > Cheers, > > Kevin > > > > Daniel Imberman <[email protected]<mailto: > > [email protected]>>于2019年4月17日 周三下午2:02写道： > > > > As part of our effort to reduce the PR backlog I wanted to proposed that > > we set the github stale action https://github.com/apps/stale. This will > > allow us to temporarily close PRs/tickets that are not actively being > > worked on. > > > > (note that this will not remove PRs, it will simply mark PRs as stale to > > make it easier for committers) > > > > > > > > >
