From 9279b8320cb929d925c88993d9e6e781b595b310 Mon Sep 17 00:00:00 2001 From: Mubashir Osmani Date: Tue, 6 Oct 2026 17:35:04 +0000 Subject: [PATCH 1/2] ci(stale): close pull requests after 3 weeks without activity Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- .github/workflows/stale.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index c905bb12312..33386f1556d 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -18,8 +18,11 @@ jobs: with: repo-token: "${{ secrets.GITHUB_TOKEN }}" stale-issue-message: "This issue has been automatically marked as stale because it has not had recent activity. 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 recent activity. It will be closed if no further activity occurs." + stale-pr-message: "This pull request has been automatically marked as stale because it has had no activity for 14 days. It will be closed in 7 days if no further activity occurs." + close-pr-message: "Closing this pull request after 3 weeks without activity. Feel free to reopen it or open a new one if it is still needed." days-before-stale: 90 # Revert to 60 days days-before-close: 7 # Revert to 7 days + days-before-pr-stale: 14 + days-before-pr-close: 7 stale-issue-label: "stale" operations-per-run: 1000 From 005c337b6dd42e78ef0944cbc838ba64a7083f3f Mon Sep 17 00:00:00 2001 From: Mubashir Osmani Date: Tue, 6 Oct 2026 17:37:20 +0000 Subject: [PATCH 2/2] ci(stale): point closed pull requests to Discord Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- .github/workflows/stale.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 33386f1556d..28529c4e9c1 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -19,7 +19,7 @@ jobs: repo-token: "${{ secrets.GITHUB_TOKEN }}" stale-issue-message: "This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs." stale-pr-message: "This pull request has been automatically marked as stale because it has had no activity for 14 days. It will be closed in 7 days if no further activity occurs." - close-pr-message: "Closing this pull request after 3 weeks without activity. Feel free to reopen it or open a new one if it is still needed." + close-pr-message: "Closing this pull request after 3 weeks without activity. If you would like us to work on this issue, please reach out to us on Discord: https://discord.gg/wuPM9dRgDw" days-before-stale: 90 # Revert to 60 days days-before-close: 7 # Revert to 7 days days-before-pr-stale: 14