From b0d55930240ee8341abd1a72bcd08306ec7d49f3 Mon Sep 17 00:00:00 2001
From: Ole Herman Schumacher Elgesem
 <4048546+olehermanse@users.noreply.github.com>
Date: Fri, 23 May 2025 18:45:13 -0300
Subject: [PATCH] Added stale workflow to label and close stale PRs

I'd like old and inactive PRs to be closed automatically. We have a release checklist to try to go over all open PRs before each release and there's (IMO) too much noise.
---
 .github/workflows/stale.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/stale.yml

diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
new file mode 100644
index 0000000000..067ad5e54f
--- /dev/null
+++ b/.github/workflows/stale.yml
@@ -0,0 +1,25 @@
+# For more information, see:
+# https://github.com/actions/stale
+name: Label and close stale pull requests
+
+on:
+  schedule:
+  - cron: '31 19 * * *'
+
+jobs:
+  stale:
+
+    runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
+
+    steps:
+    - uses: actions/stale@v5
+      with:
+        repo-token: ${{ secrets.GITHUB_TOKEN }}
+        stale-pr-message: 'Marking this PR as stale due to inactivity; it will be closed in 7 days.'
+        stale-pr-label: 'stale'
+        days-before-stale: 30
+        days-before-close: 7
+        close-pr-message: "Closing PR due to inactivity. Feel free to open a new PR if necessary."
+