2 Commits

Author	SHA1	Message	Date
Luca Boccassi	1b8a821222	Problem: stale bot label exceptions not correct ... Solution: quote the labels with a space, upstream documentation (not displayed on the Github page) suggests this should finally work	2018-11-04 15:50:40 +00:00
Luca Boccassi	ecf1e31db7	Problem: stale issues linger on Github ... Solution: enable Stable Bot to automatically mark an issue as stale after 365 days of inactivity and close it after further 56 days. Issues marked with the following labels are excluded: - Help Request - Feature Request - Problem reproduced - Critical	2018-11-04 14:18:54 +00:00