[chore] Attempt two: Avoid running stale bot on issues (#771)

This commit is contained in:
Joao Grassi 2024-02-26 16:18:54 +01:00 committed by GitHub
parent b825ce1b93
commit 4f434da570
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions

View File

@ -14,5 +14,9 @@ jobs:
close-pr-message: 'Closed as inactive. Feel free to reopen if this PR is still being worked on.'
exempt-pr-labels: 'bug,work in progress,experts needed'
exempt-draft-pr: true
# opt out of defaults to avoid marking issues as stale
days-before-stale: -1
days-before-close: -1
# overrides the above only for pull requests
days-before-pr-stale: 15
days-before-pr-close: 7