clean up github tokens (#12126)

Co-authored-by: sglang-bot <sglangbot@gmail.com>
2025-10-25 12:23:54 -07:00
parent d9b31011aa
commit 428710c2ec
7 changed files with 11 additions and 13 deletions
@@ -26,7 +26,7 @@ jobs:
        if: steps.checkAccess.outputs.require-result == 'true'
        uses: actions/github-script@v7
        with:
-          github-token: ${{ secrets.GH_PAT_FOR_TAGGING }}
+          github-token: ${{ secrets.GH_PAT_FOR_PULL_REQUEST }}
          script: |
            github.rest.issues.addLabels({
              owner: context.repo.owner,