Fix label PR (#10445)

This commit is contained in:
Lianmin Zheng
2025-09-14 20:33:09 -07:00
committed by GitHub
parent 0b14159fc4
commit 0ec580a86c

View File

@@ -4,9 +4,11 @@ on:
pull_request_target:
types: [opened, reopened]
# Sets the permissions for the GITHUB_TOKEN to allow adding labels.
# This permission is still needed for the 'check-user-permission' action,
# which uses the default GITHUB_TOKEN to verify the actor's permissions.
permissions:
pull-requests: write
pull-requests: read
members: read
jobs:
labeler:
@@ -25,6 +27,7 @@ jobs:
if: steps.checkAccess.outputs.require-result == 'true'
uses: actions/github-script@v7
with:
token: ${{ secrets.GH_PAT_FOR_TAGGING }}
script: |
github.rest.issues.addLabels({
owner: context.repo.owner,