[riot-notifications] [RIOT-OS/RIOT] github: add configuration for stale-bot (#11921)

Martine Lenders notifications at github.com
Mon Jul 29 10:35:26 CEST 2019


> Well that depends, the involved maintainers might not be active anymore or on vacation, and it could get closed because no one is actually getting pinged (i'm just referring to the 7 day closure window here, 1/2 year to become stale is more than enough).

If a week of absence of _one_ maintainer is enough to cause chaos, we seriously need to rethink our processes. However, I think the case you draft out is more hypothetical than actually bound to happen. Also, if this really _would_ happen, remember that the issue is only closed, not deleted. The maintainer in question can still reopen it after their leave of absence.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11921#issuecomment-515899545
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190729/f3adb00e/attachment.htm>


More information about the notifications mailing list