2021-11-20 10:38:40 +01:00
|
|
|
name: "Handle Stale Issues & Pull Requests"
|
2021-01-16 10:16:05 +01:00
|
|
|
|
|
|
|
on:
|
|
|
|
schedule:
|
|
|
|
- cron: "0 1 * * *"
|
|
|
|
|
2022-05-11 09:51:15 +02:00
|
|
|
permissions:
|
|
|
|
contents: read
|
|
|
|
|
2021-01-16 10:16:05 +01:00
|
|
|
jobs:
|
|
|
|
stale:
|
2022-05-11 09:51:15 +02:00
|
|
|
permissions:
|
|
|
|
issues: write
|
|
|
|
pull-requests: write
|
2023-01-28 13:53:17 +01:00
|
|
|
runs-on: ubuntu-22.04
|
2021-01-16 10:16:05 +01:00
|
|
|
steps:
|
2021-01-18 20:51:56 +01:00
|
|
|
- name: Close stale issues
|
2023-12-11 21:36:30 +01:00
|
|
|
uses: actions/stale@v9
|
2021-01-16 10:16:05 +01:00
|
|
|
with:
|
|
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
2021-01-19 09:27:01 +01:00
|
|
|
days-before-stale: 20
|
|
|
|
days-before-close: 10
|
2021-11-15 21:00:25 +01:00
|
|
|
|
2021-11-20 10:38:40 +01:00
|
|
|
exempt-issue-labels: stale-bot/ignore
|
|
|
|
stale-issue-label: meta/stale
|
2021-11-29 12:39:27 +01:00
|
|
|
stale-issue-message: |
|
|
|
|
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:
|
2021-11-20 10:38:40 +01:00
|
|
|
|
|
|
|
- a maintainer removes the `meta/stale` label or adds the `stale-bot/ignore` label
|
|
|
|
- new activity occurs, such as a new comment
|
2021-11-15 21:00:25 +01:00
|
|
|
close-issue-label: "meta/closed due to age or inactivity"
|
2021-01-16 10:16:05 +01:00
|
|
|
close-issue-message: >
|
|
|
|
This issue was closed due to inactivity.
|
2021-11-15 21:00:25 +01:00
|
|
|
|
2021-11-20 10:38:40 +01:00
|
|
|
exempt-pr-labels: stale-bot/ignore
|
|
|
|
stale-pr-label: meta/stale
|
2021-11-29 12:39:27 +01:00
|
|
|
stale-pr-message: |
|
|
|
|
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:
|
2021-11-20 10:38:40 +01:00
|
|
|
|
|
|
|
- a maintainer removes the `meta/stale` label or adds the `stale-bot/ignore` label
|
|
|
|
- new activity occurs, such as a new comment
|
2021-11-15 21:00:25 +01:00
|
|
|
close-pr-label: "meta/closed due to age or inactivity"
|
2021-12-19 11:56:22 +01:00
|
|
|
close-pr-message: >
|
2021-11-15 21:00:25 +01:00
|
|
|
This PR was closed due to inactivity.
|