chore(github): refactor community labeler (#9077)

This commit is contained in:
Andoni Alonso
2025-10-29 17:58:48 +01:00
committed by GitHub
parent 22d801ade2
commit 899db55f56

View File

@@ -20,6 +20,7 @@ jobs:
- name: Add the 'community' label
env:
PR_NUMBER: ${{ github.event.pull_request.number }}
GH_TOKEN: ${{ github.token }}
run: |
echo "Adding 'community' label to the PR"
gh pr edit "$PR_NUMBER" --add-label community
gh pr edit "$PR_NUMBER" --add-label community