Chore: Bump stale bot version and exclude certain cases (#685)
This commit is contained in:
parent
379db81270
commit
f3f577ce8e
|
|
@ -1,4 +1,4 @@
|
||||||
name: "Close stale spull requests"
|
name: "Close stale pull requests"
|
||||||
on:
|
on:
|
||||||
schedule:
|
schedule:
|
||||||
- cron: "12 3 * * *" # arbitrary time not to DDOS GitHub
|
- cron: "12 3 * * *" # arbitrary time not to DDOS GitHub
|
||||||
|
|
@ -7,11 +7,12 @@ jobs:
|
||||||
stale:
|
stale:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/stale@v3
|
- uses: actions/stale@v9
|
||||||
with:
|
with:
|
||||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
stale-pr-message: 'This PR was marked stale due to lack of activity. It will be closed in 7 days.'
|
stale-pr-message: 'This PR was marked stale due to lack of activity. It will be closed in 7 days.'
|
||||||
close-pr-message: 'Closed as inactive. Feel free to reopen if this PR is still being worked on.'
|
close-pr-message: 'Closed as inactive. Feel free to reopen if this PR is still being worked on.'
|
||||||
exempt-pr-labels: 'release:after-ga'
|
exempt-pr-labels: 'bug,work in progress,experts needed'
|
||||||
|
exempt-draft-pr: true
|
||||||
days-before-stale: 15
|
days-before-stale: 15
|
||||||
days-before-close: 7
|
days-before-close: 7
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue