name: "Close stale pull requests"
|
|
on:
|
|
schedule:
|
|
- cron: "0 0 * * *"
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
stale:
|
|
permissions:
|
|
issues: write # for actions/stale to close stale issues
|
|
pull-requests: write # for actions/stale to close stale PRs
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/stale@7fb802b3079a276cf3c7e6ba9aa003c665b3f838 # v4
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
stale-pr-message: "This pull request has been automatically marked as stale because it has not had
|
|
recent activity. It will be closed if no further activity occurs. Thank you
|
|
for your contributions."
|
|
days-before-stale: -1
|
|
days-before-close: -1
|
|
days-before-pr-stale: 10
|
|
days-before-pr-close: 4
|
|
exempt-pr-labels: "S:wip"
|