ci: aggressively close stale PRs (coder#3146)

ammario · web-flow · commit 257e52e014b5 · 2022-07-23T14:57:35.000-05:00
diff --git a/.github/workflows/stale.yaml b/.github/workflows/stale.yaml
@@ -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
