ci(stale): point closed pull requests to Discord

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
This commit is contained in:
Mubashir Osmani 2026-10-06 17:37:20 +00:00
parent 9279b8320c
commit 005c337b6d

View file

@ -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