From ea9d7e0de7cb834b375c91e2ae03142f74bc9c3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Damian=20B=C3=BCchel?= <damian.buechel@id.ethz.ch>
Date: Wed, 21 Feb 2024 10:23:55 +0100
Subject: [PATCH] Reverted back to version 8 of stale workflow due to a bug in
 their caching implementation (see
 https://github.com/actions/stale/issues/1133).

---
 .github/workflows/issues.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/issues.yml b/.github/workflows/issues.yml
index 4538342f0..155a24aaa 100644
--- a/.github/workflows/issues.yml
+++ b/.github/workflows/issues.yml
@@ -11,7 +11,7 @@ jobs:
       issues: write
       pull-requests: write
     steps:
-      - uses: actions/stale@v9
+      - uses: actions/stale@v8
         with:
           # https://github.com/marketplace/actions/close-stale-issues
           days-before-issue-stale: 28