infra: Autoclose stale PRs

Close PRs older than 30 days.

Signed-off-by: Nicolae Dicu <[email protected]>

Author: nicu1989

.github/workflows/docs-cleanup.yml

@@ -24,7 +24,33 @@ jobs:
     permissions:
       pages: write
       contents: write
+      pull-requests: write
     steps:
+      - name: Close abandoned PRs
+        uses: actions/stale@v9
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+
+          # days-before-stale Idle number of days before marking issues/PRs stale (default: 60)
+          # days-before-close Idle number of days before closing stale issues/PRs (default: 7)
+
+          # Don't handle issues
+          # If set to a negative number like -1, the issues or the pull requests will never be closed automatically.
+          days-before-issue-stale: -1 # Override days-before-stale for issues only
+          days-before-issue-close: -1 # Override days-before-close for issues only
+
+          # Handle PRs
+          # Mark as stale after 30 days of inactivity and then for stale PRs close immediately
+          days-before-pr-stale: 30   # Override days-before-stale for PRs only
+          days-before-pr-close: 0    # Override days-before-close for PRs only
+          close-pr-label: autoclose  # Label the PR as autoclosed
+
+          # Add comment to the PR when it is closed
+          close-pr-message: "Auto-closing: no activity for 30 days. If this is still relevant, reopen or create a fresh PR."
+
+          # Drafts dont create docs so leave them alone
+          exempt-draft-pr: true
+
       - name: Checkout gh-pages branch
         uses: actions/checkout@v4
         with: