adjust stale PR bot to use pr:stale label instead (#2298)

This commit is contained in:
Joey Orlando 2023-06-21 10:28:07 +02:00 committed by GitHub
parent af939dc83a
commit cf6aefbd00
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,6 +16,7 @@ jobs:
days-before-pr-stale: 30
days-before-pr-close: 30
ascending: true # start processing older pull requests first
stale-pr-label: "pr:stale"
stale-pr-message: >
This pull request has been automatically marked as stale because it has not had activity in the last 30 days. It will be closed in 30 days if no further activity occurs. Please feel free to give a status update now, ping for review, or re-open when it's ready. Thank you for your contributions!
close-pr-message: >