.github/workflows: Do not exempt PRs with milestone

The stale bot doesn't close certain PRs, even if they have been inactive
for several years, because almost all of these PRs have a milestone

Signed-off-by: Guillaume Abrioux <gabrioux@ibm.com>

diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
index 510a6bebd4e236c1ec1e64cdace93ca847c30e2a..8d05402a73dc1b9574c174940b9dfc652909ae85 100644 (file)
--- a/.github/workflows/stale.yml
+++ b/.github/workflows/stale.yml
@@ -47,9 +47,6 @@ jobs:
           # Labels on PRs exempted from stale
           exempt-pr-labels: 'pinned,security'
           
-          # Exempt all PRs with milestones from stale (also exempts Issues)
-          exempt-all-pr-milestones: true
-          
           # Max number of operations per run
           operations-per-run: 100