From 09a5016de4a241edb9c5cc8b71af108f968ade53 Mon Sep 17 00:00:00 2001
From: Christian Meesters <meesters@uni-mainz.de>
Date: Fri, 14 Mar 2025 11:21:19 +0100
Subject: [PATCH] feat: added github action to label long pending issues as
 'stale'

---
 .github/workflows/stale.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 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 00000000..d9f7598b
--- /dev/null
+++ b/.github/workflows/stale.yml
@@ -0,0 +1,23 @@
+name: Close inactive issues
+on:
+  schedule:
+    - cron: "1 1 * * 1"
+
+jobs:
+  close-issues:
+    runs-on: ubuntu-latest
+    permissions:
+      issues: write
+      pull-requests: write
+    steps:
+      - uses: actions/stale@v5
+        with:
+          days-before-issue-stale: 180
+          days-before-issue-close: 365
+          stale-issue-label: "stale"
+          stale-issue-message: "This issue was marked as stale because it has been open for 6 months with no activity."
+          close-issue-message: "This issue was closed because it has been inactive for 1 year since being marked as stale. Feel free to re-open it if you have any further comments."
+          days-before-pr-stale: 180
+          days-before-pr-close: -1
+          stale-pr-message: "This PR was marked as stale because it has been open for 6 months with no activity."
+          repo-token: ${{ secrets.GITHUB_TOKEN }}