Merge pull request #12350 from jsquyres/pr/fix-github-issue-names

CI: remove ":" from close-the-issue bot label names
open-mpi · Feb 19, 2024 · 3e82472 · 3e82472
2 parents 7081d1a + 22c1143
commit 3e82472
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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 }}