4 commits

Author	SHA1	Message	Date
Valentin Rothberg	1921a82a91	update stale bot ... Update the GitHub action to mark issues and PRs as stale. There are a couple of useful features, most importantly, the bot will remove the stale label from issues as soon as there's either an activity or a comment. This reduces some manual overhead: the stale bot will only drop a comment on issues and PRs that are not marked as stale. Hence, as we appreciated the reminders, we had to manually remove the label which should now turn into campfire tales. Signed-off-by: Valentin Rothberg <rothberg@redhat.com>	2020-09-22 11:16:40 +02:00
Valentin Rothberg	8094ee89ba	github stale workflow: rephrase and bump close time ... Rephrase the stale message to be friendlier and bump the closing time to 365 days. The docs of the stale workflow do not indicate whether we can not close, so a limit of 365 days seems fair. Signed-off-by: Valentin Rothberg <rothberg@redhat.com>	2020-01-07 11:04:37 +01:00
Valentin Rothberg	7835b863f2	stale action: add exempt-issue-label ... Without the label, issues would be closed regardless of the "do-not-close" label. Signed-off-by: Valentin Rothberg <rothberg@redhat.com>	2019-10-30 09:51:40 +01:00
Valentin Rothberg	52e5c4b460	GitHub stale action ... Add a GitHub action to mark issues and PRs as stale and to eventually close them after a grace period. Signed-off-by: Valentin Rothberg <rothberg@redhat.com>	2019-10-28 20:35:34 +01:00