+1 to try the bot. It may, at first, seem less empathetic than a solution that involves a human monitoring the PRs, but, in essence, having a PR stale for months (or even years) is at least as discouraging for a new contributor.
Labels could further reduce the problem of noise, but I think that this "noise" is a necessary evil during the "transition period" of moving from the current situation to one with cleaner PR backlog. Cheers, Kostas On Sun, Jan 13, 2019 at 1:02 PM Dominik Wosiński <wos...@gmail.com> wrote: > > > > Hey, > > > I agree with Timo here that we should introduce labels that will improve > communication for PRs. IMHO this will show what percentage of PRs is really > stale and not just abandoned due to the misunderstanding or other > communication issues. > > Best Regards, > Dom. >