CI: Do not insinuate PRs can be reopened in stalebot's close message

Elevated permissions are required to do so. Contributors can create a
new pull request based on their branch instead.
This commit is contained in:
Jelle Raaijmakers 2025-01-16 22:53:06 +01:00 committed by Jelle Raaijmakers
parent e6b7c8cde2
commit 76192e6ae7
Notes: github-actions[bot] 2025-01-16 22:41:14 +00:00

View file

@ -30,8 +30,8 @@ jobs:
This pull request has been automatically marked as stale because it has not had recent activity. It will be This pull request has been automatically marked as stale because it has not had recent activity. It will be
closed in 7 days if no further activity occurs. Thank you for your contributions! closed in 7 days if no further activity occurs. Thank you for your contributions!
# PRs get closed after 30 days (21 + 7) of inactivity (currently disabled) # PRs get closed after 30 days (21 + 7) of inactivity
days-before-pr-close: 7 days-before-pr-close: 7
close-pr-message: > close-pr-message: >
This pull request has been closed because it has not had recent activity. Feel free to re-open if you This pull request has been closed because it has not had recent activity. Feel free to open a new pull
wish to still contribute these changes. Thank you for your contributions! request if you wish to still contribute these changes. Thank you for your contributions!