Merge pull request numba#8766 from gmarkall/stale-prs-use-abandoned-s…

…tale Stale bot: Use `abandoned - stale` label for closed PRs
Deezy33-creator · Feb 16, 2023 · 566336c · 566336c
2 parents c1b22c2 + b228eb3
commit 566336c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
@@ -34,4 +34,4 @@ jobs:
           days-before-pr-close: 7
           any-of-pr-labels: '2 - In progress,4 - Waiting on author'
           stale-pr-label: 'stale'
-          close-pr-label: 'abandoned'
+          close-pr-label: 'abandoned - stale'