ci: aggressively close stale PRs (#3146)

This commit is contained in:
Ammar Bandukwala
2022-07-23 14:57:35 -05:00
committed by GitHub
parent 5e32468a73
commit 257e52e014
+4
View File
@@ -15,3 +15,7 @@ jobs:
with:
stale-issue-label: stale
stale-pr-label: stale
# Pull Requests become stale more quickly due to merge conflicts.
# Also, we promote minimizing WIP.
days-before-pr-stale: 7
days-before-pr-close: 3