From 8c655a2eab086578f11cda9df287fbade33379b6 Mon Sep 17 00:00:00 2001 From: phm07 <22707808+phm07@users.noreply.github.com> Date: Wed, 10 Dec 2025 11:55:44 +0100 Subject: [PATCH 1/2] chore: add script to remove stable bot --- sweep/remove-stale-bot-workflow.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 sweep/remove-stale-bot-workflow.sh diff --git a/sweep/remove-stale-bot-workflow.sh b/sweep/remove-stale-bot-workflow.sh new file mode 100755 index 0000000..bf76916 --- /dev/null +++ b/sweep/remove-stale-bot-workflow.sh @@ -0,0 +1,12 @@ +#!/usr/bin/env bash + +# Title: Remove the stale bot workflow + +WORKFLOW_FILE=.github/workflows/stale.yml + +[[ -f "$WORKFLOW_FILE" ]] || exit 0 + +rm -f "$WORKFLOW_FILE" + +git add . +git --no-pager diff --color --cached From ea781f7b21ea5092f1e5c1a5b00a8ab8a9514b2d Mon Sep 17 00:00:00 2001 From: phm07 <22707808+phm07@users.noreply.github.com> Date: Wed, 10 Dec 2025 12:36:24 +0100 Subject: [PATCH 2/2] Update sweep/remove-stale-bot-workflow.sh Co-authored-by: Jonas L. --- sweep/remove-stale-bot-workflow.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sweep/remove-stale-bot-workflow.sh b/sweep/remove-stale-bot-workflow.sh index bf76916..947a0b6 100755 --- a/sweep/remove-stale-bot-workflow.sh +++ b/sweep/remove-stale-bot-workflow.sh @@ -8,5 +8,5 @@ WORKFLOW_FILE=.github/workflows/stale.yml rm -f "$WORKFLOW_FILE" -git add . +git add "$WORKFLOW_FILE" git --no-pager diff --color --cached