From 12caf8ed813837392f3648d52b6df79faadf79d0 Mon Sep 17 00:00:00 2001 From: Malo Bourgon Date: Sun, 5 Apr 2026 22:27:28 -0400 Subject: [PATCH] fix(ci): add grace period to stale PR bot MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The previous config (days-before-pr-close: 0) marked PRs stale and closed them in the same workflow run, giving contributors no chance to respond to the warning. Multiple community PRs have been auto-closed and had to be re-filed as duplicates (#554→#589, #634→#665, #643→#667→#674). Add a 4-day grace period after the 3-day stale mark (7 days total), so contributors see the warning and can comment or push to reset the timer before the PR is closed. --- .github/workflows/stale.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 18c0b9fe..4cb2b93c 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -30,7 +30,7 @@ jobs: days-before-issue-stale: -1 days-before-issue-close: -1 days-before-pr-stale: 3 - days-before-pr-close: 0 - stale-pr-message: 'This PR has been inactive for 72 hours. Closing to keep the queue clean.' - close-pr-message: 'This PR was closed because it has been stalled for 72 hours. Feel free to magically reopen it if you want to continue working on it!' + days-before-pr-close: 4 + stale-pr-message: 'This PR has been inactive for 3 days. It will be closed in 4 days if there is no further activity. Comment or push to reset the timer.' + close-pr-message: 'This PR was closed after 7 days of inactivity. Feel free to reopen it if you want to continue working on it.' exempt-pr-labels: 'keep-alive'