GitHub #10
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
name: GitHub | |
on: # yamllint disable-line rule:truthy | |
workflow_dispatch: | |
schedule: | |
- cron: 0 1 * * 6 | |
permissions: | |
contents: read | |
issues: write | |
pull-requests: write | |
env: | |
DAYS_BEFORE_STALE: 20 | |
DAYS_BEFORE_CLOSE: 10 | |
jobs: | |
stale: | |
name: Handle Stalled Issues and Oull Requests | |
runs-on: ubuntu-20.04 | |
steps: | |
- name: Close stale issues | |
uses: actions/[email protected] | |
with: | |
repo-token: ${{ secrets.GITHUB_TOKEN }} | |
days-before-stale: ${{ env.DAYS_BEFORE_STALE }} | |
days-before-close: ${{ env.DAYS_BEFORE_CLOSE }} | |
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 ${{ env.DAYS_BEFORE_STALE }} | |
days without activity. This issue will be closed in ${{ env.DAYS_BEFORE_CLOSE }} 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: stale-bot/ignore | |
stale-pr-label: meta/stale | |
stale-pr-message: | | |
This pull request has become stale as it has been open for ${{ env.DAYS_BEFORE_STALE }} | |
days without activity. This pull request will be closed in ${{ env.DAYS_BEFORE_CLOSE }} | |
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 | |
close-pr-message: > | |
This PR was closed due to inactivity. |