1
0
mirror of synced 2025-12-19 18:10:59 -05:00

Fix the GITHUB_TOKEN for the DIY docs label steps (#54808)

This commit is contained in:
Joe Clark
2025-03-12 15:02:06 -07:00
committed by GitHub
parent 17f8ec5230
commit ade72723c7

View File

@@ -69,7 +69,7 @@ jobs:
- name: Check if PR is connected to DIY docs issue
id: check-diy-docs
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_WRITEORG_PROJECT }}
run: |
ISSUE_NUMS=$(echo "${{ github.event.pull_request.body }}" | grep -oE '(https://github.com/github/docs-content/issues/[0-9]+|#[0-9]+)' | grep -oE '[0-9]+')
for ISSUE_NUM in $ISSUE_NUMS; do
@@ -83,7 +83,7 @@ jobs:
- name: Add the DIY docs label if connected to a DIY docs issue
if: ${{ env.DIY_DOCS_LABEL == 'true' }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_WRITEORG_PROJECT }}
PR_URL: ${{ github.event.pull_request.html_url }}
run: |
gh pr edit $PR_URL --add-label 'DIY docs'