Merge pull request ethereum#13745 from ethereum/close-stale-issues

Close stale issues

.github/workflows/stale-pull-requests.yml

@@ -1,37 +1,48 @@
-name: Check stale pull requests
+name: Check stale issues and pull requests
 
 on:
   workflow_dispatch:
   schedule:
     - cron: '0 12 * * *'
 
 permissions:
-  issues: read
+  issues: write
   pull-requests: write
 
 env:
-  BEFORE_STALE: 14
-  BEFORE_CLOSE: 7
+  BEFORE_ISSUE_STALE: 180
+  BEFORE_ISSUE_CLOSE: 0 #FIXME: change to 14 days
+  BEFORE_PR_STALE: 14
+  BEFORE_PR_CLOSE: 7
 
 jobs:
   stale:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/stale@v6
         with:
-          debug-only: false
-          # disable issues
-          days-before-issue-stale: -1
-          days-before-issue-close: -1
+          debug-only: true
+          days-before-issue-stale: ${{ env.BEFORE_ISSUE_STALE }}
+          days-before-issue-close: ${{ env.BEFORE_ISSUE_CLOSE }}
+          stale-issue-message: |
+            This issue has been marked as stale due to inactivity for the last ${{ env.BEFORE_ISSUE_STALE }} days.
+            It will be automatically closed in ${{ env.BEFORE_ISSUE_CLOSE }} days.
+          close-issue-message: |
+            Hi everyone! This issue has been closed due to inactivity.
+            If you think this issue is still relevant in the latest Solidity version and you have something to [contribute](https://docs.soliditylang.org/en/latest/contributing.html), feel free to reopen.
+            However, unless the issue is a concrete proposal that can be implemented, we recommend starting a language discussion on the [forum](https://forum.soliditylang.org) instead.
+          stale-issue-label: stale
+          close-issue-label: closed-due-inactivity
+          exempt-issue-labels: 'bug :bug:,roadmap,selected-for-development,must have'
           stale-pr-message: |
-            This pull request is stale because it has been open for ${{ env.BEFORE_STALE }} days with no activity.
-            It will be closed in ${{ env.BEFORE_CLOSE }} days unless the `stale` label is removed.
+            This pull request is stale because it has been open for ${{ env.BEFORE_PR_STALE }} days with no activity.
+            It will be closed in ${{ env.BEFORE_PR_CLOSE }} days unless the `stale` label is removed.
           close-pr-message: |
-            This pull request was closed due to a lack of activity for ${{ env.BEFORE_CLOSE }} days after it was stale.
+            This pull request was closed due to a lack of activity for ${{ env.BEFORE_PR_CLOSE }} days after it was stale.
           stale-pr-label: stale
           close-pr-label: closed-due-inactivity
-          days-before-pr-stale: ${{ env.BEFORE_STALE }}
-          days-before-pr-close: ${{ env.BEFORE_CLOSE }}
+          days-before-pr-stale: ${{ env.BEFORE_PR_STALE }}
+          days-before-pr-close: ${{ env.BEFORE_PR_CLOSE }}
           exempt-pr-labels: 'external contribution :star:,roadmap,epic'
           exempt-draft-pr: true
           exempt-all-milestones: true