From 372c6495688e9638530a41c12338b95f402065dd Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 11 Feb 2026 21:49:13 +0000 Subject: [PATCH 1/4] Initial plan From 6523cd5f057bed0c70376b92161c7ab30a1ed9df Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 11 Feb 2026 21:50:36 +0000 Subject: [PATCH 2/4] Add stale issues and PRs workflow Co-authored-by: mnriem <15701806+mnriem@users.noreply.github.com> --- .github/workflows/stale.yml | 42 +++++++++++++++++++++++++++++++++++++ 1 file changed, 42 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 000000000..e25a40903 --- /dev/null +++ b/.github/workflows/stale.yml @@ -0,0 +1,42 @@ +name: 'Close stale issues and PRs' + +on: + schedule: + - cron: '0 0 * * *' # Run daily at midnight UTC + workflow_dispatch: # Allow manual triggering + +permissions: + issues: write + pull-requests: write + +jobs: + stale: + runs-on: ubuntu-latest + steps: + - uses: actions/stale@v9 + with: + # Days of inactivity before an issue or PR becomes stale + days-before-stale: 180 + # Days of inactivity before a stale issue or PR is closed + days-before-close: 0 + + # Stale issue settings + stale-issue-message: 'This issue has been automatically marked as stale because it has not had any activity for 180 days. It will be closed if no further activity occurs.' + close-issue-message: 'This issue has been automatically closed due to inactivity. If you believe this issue is still relevant, please reopen it or create a new issue.' + stale-issue-label: 'stale' + + # Stale PR settings + stale-pr-message: 'This pull request has been automatically marked as stale because it has not had any activity for 180 days. It will be closed if no further activity occurs.' + close-pr-message: 'This pull request has been automatically closed due to inactivity. If you believe this PR is still relevant, please reopen it or create a new PR.' + stale-pr-label: 'stale' + + # Exempt issues and PRs with these labels from being marked as stale + exempt-issue-labels: 'pinned,security' + exempt-pr-labels: 'pinned,security' + + # Only issues or PRs with all of these labels are checked + # Leave empty to check all issues and PRs + any-of-labels: '' + + # Operations per run (helps avoid rate limits) + operations-per-run: 100 From b65cbde7277422e438c5d25a1f28e57621419fa1 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 11 Feb 2026 21:51:17 +0000 Subject: [PATCH 3/4] Add 7-day grace period before closing stale items Co-authored-by: mnriem <15701806+mnriem@users.noreply.github.com> --- .github/workflows/stale.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index e25a40903..618f60c66 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -17,16 +17,16 @@ jobs: with: # Days of inactivity before an issue or PR becomes stale days-before-stale: 180 - # Days of inactivity before a stale issue or PR is closed - days-before-close: 0 + # Days of inactivity before a stale issue or PR is closed (after being marked stale) + days-before-close: 7 # Stale issue settings - stale-issue-message: 'This issue has been automatically marked as stale because it has not had any activity for 180 days. It will be closed if no further activity occurs.' + stale-issue-message: 'This issue has been automatically marked as stale because it has not had any activity for 180 days. It will be closed in 7 days if no further activity occurs.' close-issue-message: 'This issue has been automatically closed due to inactivity. If you believe this issue is still relevant, please reopen it or create a new issue.' stale-issue-label: 'stale' # Stale PR settings - stale-pr-message: 'This pull request has been automatically marked as stale because it has not had any activity for 180 days. It will be closed if no further activity occurs.' + stale-pr-message: 'This pull request has been automatically marked as stale because it has not had any activity for 180 days. It will be closed in 7 days if no further activity occurs.' close-pr-message: 'This pull request has been automatically closed due to inactivity. If you believe this PR is still relevant, please reopen it or create a new PR.' stale-pr-label: 'stale' From ba65aacd398e05bec3a0d2fc3062b3987f5caf6a Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 11 Feb 2026 21:55:01 +0000 Subject: [PATCH 4/4] Update stale timing: mark at 150 days, close at 180 days Co-authored-by: mnriem <15701806+mnriem@users.noreply.github.com> --- .github/workflows/stale.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 618f60c66..fd8102ce2 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -16,18 +16,18 @@ jobs: - uses: actions/stale@v9 with: # Days of inactivity before an issue or PR becomes stale - days-before-stale: 180 + days-before-stale: 150 # Days of inactivity before a stale issue or PR is closed (after being marked stale) - days-before-close: 7 + days-before-close: 30 # Stale issue settings - stale-issue-message: 'This issue has been automatically marked as stale because it has not had any activity for 180 days. It will be closed in 7 days if no further activity occurs.' - close-issue-message: 'This issue has been automatically closed due to inactivity. If you believe this issue is still relevant, please reopen it or create a new issue.' + stale-issue-message: 'This issue has been automatically marked as stale because it has not had any activity for 150 days. It will be closed in 30 days if no further activity occurs.' + close-issue-message: 'This issue has been automatically closed due to inactivity (180 days total). If you believe this issue is still relevant, please reopen it or create a new issue.' stale-issue-label: 'stale' # Stale PR settings - stale-pr-message: 'This pull request has been automatically marked as stale because it has not had any activity for 180 days. It will be closed in 7 days if no further activity occurs.' - close-pr-message: 'This pull request has been automatically closed due to inactivity. If you believe this PR is still relevant, please reopen it or create a new PR.' + stale-pr-message: 'This pull request has been automatically marked as stale because it has not had any activity for 150 days. It will be closed in 30 days if no further activity occurs.' + close-pr-message: 'This pull request has been automatically closed due to inactivity (180 days total). If you believe this PR is still relevant, please reopen it or create a new PR.' stale-pr-label: 'stale' # Exempt issues and PRs with these labels from being marked as stale