+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.
>

Reply via email to