chore(ci): specify name of "stale" label

JohnVillalovos · nejch · commit 44f62c49106a · 2024-07-12T08:11:03.000+02:00
Saw the following error in the log: [#2618] Removing the label "Stale" from this issue... ##[error][#2618] Error when removing the label: "Label does not exist" My theory is that the case doesn't match ("Stale" != "stale") and that is why it failed. Our label is "stale" so update this to match. Thought of changing the label name on GitHub but then would also require a change here to the "any-of-labels". So it seemed simpler to just change it here. It is confusing though that it detected the label "stale", but then couldn't delete it.
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml
@@ -17,6 +17,9 @@ jobs:
     steps:
       - uses: actions/stale@v9.0.0
         with:
+          stale-issue-label: "stale"
+          stale-pr-label: "stale"
+
           any-of-labels: 'need info,Waiting for response,stale'
           stale-issue-message: >
             This issue was marked stale because it has been open 60 days with no
