CI: Update Stale Bot config

.github/workflows/stale.yml

@@ -1,28 +1,33 @@
-name: "Mark or close stale issues and PRs"
+name: Mark or close stale issues and PRs
+
 on:
-  schedule:
+    schedule:
-    - cron: "0 12 * * *"
+        - cron: "0 */6 * * *"
 
 jobs:
-  stale:
+    stale:
-    runs-on: ubuntu-latest
+        name: Mark or close stale issues and PRs
-    steps:
+
-      - uses: actions/stale@v3
+        runs-on: ubuntu-latest
-        with:
+        permissions:
-          repo-token: ${{ secrets.GITHUB_TOKEN }}
+            issues: write
-          days-before-stale: 7
+            pull-requests: write
-          days-before-close: 2
-          stale-issue-message: >
-            This issue has been automatically marked as stale because it has not had
-            recent activity. It will be closed in two days if no further activity
-            occurs. Thank you for your contributions! :+1:
-          stale-pr-message: >
-            This pull request has been automatically marked as stale because it has not had
-            recent activity. It will be closed in two days if no further activity
-            occurs. Thank you for your contributions! :+1:
-          stale-pr-label: "info: Stale"
-          stale-issue-label: "info: Stale"
-          exempt-issue-labels: "type: Bug,type: Enhancement,type: Feature,type: Idea,type: Release,info: Pinned"
-          exempt-pr-labels: "type: Bug,type: Enhancement,type: Feature,type: Idea,type: Release,info: Pinned"
-          remove-stale-when-updated: true
 
+        steps:
+            -   uses: actions/stale@v3
+                with:
+                    days-before-stale: 7
+                    days-before-close: 2
+                    stale-issue-message: >
+                        This issue has been automatically marked as stale because it has not had
+                        recent activity. It will be closed in two days if no further activity
+                        occurs. Thank you for your contributions! :+1:
+                    stale-pr-message: >
+                        This pull request has been automatically marked as stale because it has not had
+                        recent activity. It will be closed in two days if no further activity
+                        occurs. Thank you for your contributions! :+1:
+                    stale-pr-label: "info: Stale"
+                    stale-issue-label: "info: Stale"
+                    exempt-issue-labels: "type: Bug,type: Enhancement,type: Feature,type: Idea,type: Release,info: Pinned"
+                    exempt-pr-labels: "type: Bug,type: Enhancement,type: Feature,type: Idea,type: Release,info: Pinned"
+                    remove-stale-when-updated: true