Marking old PRs as stale

Author: john-science

.github/workflows/stale.yaml

@@ -0,0 +1,29 @@
+# This workflow warns and then closes PRs that have had no activity for a specified amount of time.
+#
+# You can adjust the behavior by modifying this file.
+# For more information, see: https://github.com/actions/stale
+name: Mark Stale PRs
+
+on:
+  schedule:
+  # once a day at 3:14 AM
+  - cron: '14 3 * * *'
+
+permissions:
+  pull-requests: write
+
+jobs:
+  stale:
+    # This workflow is not designed to make sense on forks
+    if: github.repository == 'john-science/mazelib'
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/stale@v8
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+          stale-pr-message: "This pull request has been automatically marked as stale because it has not had any activity in the last 100 days. It will be closed in 7 days if no further activity occurs. Thank you for your contributions."
+          stale-pr-label: "stale"
+          days-before-pr-stale: 100
+          days-before-pr-close: 7
+          days-before-issue-stale: -1
+          operations-per-run: 100