[riot-notifications] ***UNCHECKED*** Re: [RIOT-OS/RIOT] stale: only apply to PRs (#12192)
notifications at github.com
Fri Sep 13 12:14:17 CEST 2019
> What do you think about this as a compromise?
Seems like a good trade-off. But now what do we do with the 200 issues closed this week (which contains some relevant ones) ? Who is willing to look into them, decide which one is relevant (very subjective task) and eventually re-open ?
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications