fix(github): user previous command to set labels (#9099)

This commit is contained in:
Andoni Alonso
2025-11-04 11:08:35 +01:00
committed by GitHub
parent 601495166c
commit b9aef85aa2
+3 -1
View File
@@ -40,4 +40,6 @@ jobs:
GH_TOKEN: ${{ github.token }}
run: |
echo "Adding 'community' label to PR #$PR_NUMBER"
gh pr edit "$PR_NUMBER" --add-label community
gh api /repos/${{ github.repository }}/issues/${{ github.event.number }}/labels \
-X POST \
-f labels[]='community'