Skip to content

Mark draft PRs as stale after 7 days, close after 7 more #21378

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
devin-ai-integration wants to merge 3 commits into from
+41 −2
Closed

Mark draft PRs as stale after 7 days, close after 7 more #21378

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
e83a5ba
Mark draft PRs as stale after 7 days, close after 7 more
devin-ai-integration[bot] Mar 31, 2026
85a51ff
Add co-author
devin-ai-integration[bot] Mar 31, 2026
5374069
Use robust jq any filter instead of inside for label checks
devin-ai-integration[bot] Mar 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
43 changes: 41 additions & 2 deletions .github/workflows/stale.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,9 +32,48 @@ jobs:
issues: write
pull-requests: write
steps:
# Handle draft PRs on a faster schedule (stale after 7 days, close after 7 more)
- name: Mark stale draft PRs
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
run: |
# Find open draft PRs that have not been updated in 7 days and are not already stale or exempt
gh pr list --draft --state open --json number,updatedAt,labels --jq '
.[]
| select(
(now - (.updatedAt | fromdateiso8601)) > (7 * 86400)
and ([.labels[].name] | any(. == "status:stale") | not)
and ([.labels[].name] | any(. == "status:exempt") | not)
)
| .number
' | while read -r pr; do
gh pr edit "$pr" --add-label "status:stale"
gh pr comment "$pr" --body "This draft pull request has been marked as stale because it has been open for 7 days with no activity. To keep this pull request open, remove the stale label or comment."
done

- name: Close stale draft PRs
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
run: |
# Find open draft PRs labeled stale that have not been updated in 7 days
gh pr list --draft --state open --label "status:stale" --json number,updatedAt,labels --jq '
.[]
| select(
(now - (.updatedAt | fromdateiso8601)) > (7 * 86400)
and ([.labels[].name] | any(. == "status:exempt") | not)
)
| .number
' | while read -r pr; do
gh pr comment "$pr" --body "This draft pull request was closed because it has been stale for 7 days with no activity. If this pull request is important or you have more to add, feel free to re-open it."
gh pr close "$pr"
done

- uses: actions/stale@v10
with:
# Pull requests
# Pull requests (non-draft PRs use the default 14-day schedule;
# draft PRs are handled by the steps above on a 7-day schedule)
stale-pr-label: "status:stale"
exempt-pr-labels: "status:exempt"
days-before-pr-stale: 14
Expand All @@ -61,4 +100,4 @@ jobs:
ascending: true # https://github.com/actions/stale#ascending
operations-per-run: 500
days-before-stale: -1 # require override to automatically apply stale label
days-before-close: -1 # require override to automatically close
days-before-close: -1 # require override to automatically close