Housekeeping (#2302)

Co-authored-by: Brennan Kinney <5098581+polarathene@users.noreply.github.com>
This commit is contained in:
Georg Lauterbach 2021-11-20 10:38:40 +01:00 committed by GitHub
parent 7ca056852f
commit ae70142d8f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 17 additions and 11 deletions

View file

@ -1,4 +1,4 @@
name: "Handled Stalled Issues & PRs"
name: "Handle Stale Issues & Pull Requests"
on:
schedule:
@ -15,20 +15,26 @@ jobs:
days-before-stale: 20
days-before-close: 10
exempt-issue-labels: "bot/ignore"
stale-issue-label: "meta/stale"
exempt-issue-labels: stale-bot/ignore
stale-issue-label: meta/stale
stale-issue-message: >
This issue has become stale because it has been open for 20 days without
activity. Remove the label and comment or this issue will be closed in 10 days.
This issue has become stale because it has been open for 20 days
without activity. This issue will be closed in 10 days automatically unless:
- a maintainer removes the `meta/stale` label or adds the `stale-bot/ignore` label
- new activity occurs, such as a new comment
close-issue-label: "meta/closed due to age or inactivity"
close-issue-message: >
This issue was closed due to inactivity.
exempt-pr-labels: "bot/ignore"
stale-pr-label: "meta/stale"
exempt-pr-labels: stale-bot/ignore
stale-pr-label: meta/stale
stale-pr-message: >
This PR has become stale because it has been open for 20 days without
activity. Remove the label and comment or this PR will be closed in 10 days.
This pull request has become stale because it has been open for 20 days
without activity. This pull request will be closed in 10 days automatically unless:
- a maintainer removes the `meta/stale` label or adds the `stale-bot/ignore` label
- new activity occurs, such as a new comment
close-pr-label: "meta/closed due to age or inactivity"
closed-pr-message: >
This PR was closed due to inactivity.