From 005c337b6dd42e78ef0944cbc838ba64a7083f3f Mon Sep 17 00:00:00 2001 From: Mubashir Osmani Date: Tue, 6 Oct 2026 17:37:20 +0000 Subject: [PATCH] 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