From 22c1143dbed88532a0e10eacf3fac7fcd032d514 Mon Sep 17 00:00:00 2001 From: Jeff Squyres Date: Mon, 19 Feb 2024 11:57:17 -0500 Subject: [PATCH] CI: remove ":" from close-the-issue bot label names The bot to mark Github issues as stale and/or close them does not properly handle when labels contain ":". After removing ":" from the label name on Github, update the corresponding Github Actions here to match the new label names. Signed-off-by: Jeff Squyres --- .github/workflows/close-stale-issues.yaml | 2 +- .github/workflows/remove-awaiting-user-info-label.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/close-stale-issues.yaml b/.github/workflows/close-stale-issues.yaml index 0a71b9458de..e576df6ed9f 100644 --- a/.github/workflows/close-stale-issues.yaml +++ b/.github/workflows/close-stale-issues.yaml @@ -53,7 +53,7 @@ jobs: days-before-pr-close: -1 # We only close issues with this label - only-labels: "State: Awaiting user information" + only-labels: State-Awaiting user information close-issue-label: Closed due to no reply # Messages that we put in comments on issues diff --git a/.github/workflows/remove-awaiting-user-info-label.yaml b/.github/workflows/remove-awaiting-user-info-label.yaml index c28ad1c6630..4b9e9072798 100644 --- a/.github/workflows/remove-awaiting-user-info-label.yaml +++ b/.github/workflows/remove-awaiting-user-info-label.yaml @@ -25,6 +25,6 @@ jobs: route: DELETE /repos/:repository/issues/:issue/labels/:label repository: ${{ github.repository }} issue: ${{ github.event.issue.number }} - label: "State: Awaiting user information" + label: State-Awaiting user information env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}