Specify label for stale PRs. (#3775)

2024-07-25 07:43:30 +02:00
parent 42ccacbddd
commit 8b93069bac
1 changed files with 1 additions and 0 deletions
@@ -15,6 +15,7 @@ jobs:
          days-before-issues-stale: 30
          days-before-issue-close: 7
          stale-issue-label: "s: stale"
+          stale-pr-label: "s: stale"
          stale-issue-message: "This issue has been automatically marked as stale because it has not had any recent activity.  It will be closed in 7 days if no further activity occurs.  Thank you for your contributions! :+1:"
          days-before-pr-stale: 30,
          days-before-pr-close: 14