From 6c4e4724285576da7d6a9e4a843f594452e6d374 Mon Sep 17 00:00:00 2001
From: Karsten Hassel <hassel@gmx.de>
Date: Sat, 5 Oct 2024 19:13:52 +0200
Subject: [PATCH] allow manually running stale workflow

---
 .github/workflows/stale.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/stale.yaml b/.github/workflows/stale.yaml
index e2acfe8258..742c702157 100644
--- a/.github/workflows/stale.yaml
+++ b/.github/workflows/stale.yaml
@@ -1,6 +1,7 @@
 name: "Close stale issues and PRs"
 
 on:
+  workflow_dispatch: # needed for manually running this workflow
   schedule:
     - cron: "30 1 * * 6" # every Saturday at 1:30