Improve communication of the stale bot. (#19758)

* Update stale-prs.yml

* Stale after a month

Upped the stale PR from 2 weeks to a month. Reasoning is to not have it spam every two weeks when developers are busy at the time. Let me know if need to be reverted.

* Update communication on closing backtrace issues

* Update .github/workflows/stale-prs.yml

Co-authored-by: James103 <37945304+James103@users.noreply.github.com>

* Update .github/workflows/stale-prs.yml

Co-authored-by: Hielke Morsink <hielke.morsink@gmail.com>

* Revert "Update communication on closing backtrace issues"

This reverts commit b2b6c3ccf1.

---------

Co-authored-by: James103 <37945304+James103@users.noreply.github.com>
Co-authored-by: Hielke Morsink <hielke.morsink@gmail.com>
This commit is contained in:
AuraSpecs 2023-04-03 18:34:56 +02:00 committed by GitHub
parent 049d962a7c
commit 8924490483
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -12,8 +12,8 @@ jobs:
with:
days-before-issue-stale: -1
days-before-issue-close: -1
days-before-pr-stale: 14
days-before-pr-stale: 31
days-before-pr-close: 14
stale-pr-label: 'stale-pr'
stale-pr-message: 'This pull request is stale and will be closed in 14 days if no action is taken. To keep it open, leave a comment or remove the `stale-pr` label. If you''re awaiting feedback from a developer, please send us a reminder (either here or on [Discord](https://discord.gg/ZXZd8D8)).'
close-pr-message: 'This pull request was closed due to inactivity.'
stale-pr-message: 'This pull request has been marked as stale and will be closed in 14 days if no action is taken. To keep it open, leave a comment or remove the `stale-pr` label. If you''re awaiting feedback from a developer, please send us a reminder (either here or on [Discord](https://discord.gg/ZXZd8D8)).'
close-pr-message: 'This pull request has been closed due to inactivity. If you want to continue with this, or are awaiting a review, don''t hesitate to reach out to a developer. We'll gladly re-open this PR! You can tag us here, or send us a message on [Discord](https://discord.gg/ZXZd8D8).'