GH: update the stale PR/issue workflow

To avoid future churn give the workflow a generic name, don't operate on
pull-requests, and extend the issues stale date to 365 days and update
its message.

diff --git a/.github/workflows/mark-issues-prs-stale.yaml b/.github/workflows/stale.yaml
similarity index 59%
rename from .github/workflows/mark-issues-prs-stale.yaml
rename to .github/workflows/stale.yaml
index 6b03535bda857cf435e4f0d91682457bbe389e05..05bf3ee021b7cac47a9e4e8cdda39ec95be507b0 100644 (file)
--- a/.github/workflows/mark-issues-prs-stale.yaml
+++ b/.github/workflows/stale.yaml
@@ -1,27 +1,27 @@
-name: Mark Stale Issues/Pull-Requests
+name: Mark Stale
 
 on:
   schedule:
     - cron: '22 2 * * *'  # Run every day at 02:22
 
 env:
-  STALE_DAYS: 90
+  STALE_DAYS: 365
 
 jobs:
-  mark_stale_issues_prs:
+  mark_stale:
     runs-on: ubuntu-24.04
     permissions:
       actions: write
       issues: write
-      pull-requests: write
 
-    name: Mark stale issues/pull-requests
+    name: Mark stale
     steps:
       - uses: actions/stale@b5d41d4e1d5dceea10e7104786b73624c18a190f # v10
         with:
-          stale-pr-message: "This pull-request has been automatically marked 'stale' because it has been inactive for **${{ env.STALE_DAYS }}** days."
-          stale-issue-message: "This issue has been automatically marked 'stale' because it has been inactive for **${{ env.STALE_DAYS }}** days."
+          stale-issue-message: "This issue has been automatically marked 'stale' because it has been inactive for **${{ env.STALE_DAYS }}** days.
+
+If you feel this issue still needs addressing, please leave an (optional) comment and remove the 'stale' label, otherwise please close it if it is no longer valid. Thank you."
           days-before-stale: ${{ env.STALE_DAYS }}
+          days-before-pr-stale: -1
           days-before-close: -1
-          stale-pr-label: stale
           stale-issue-label: stale