Fix DIY docs PR label (#54803)
This commit is contained in:
@@ -73,7 +73,7 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
ISSUE_NUMS=$(echo "${{ github.event.pull_request.body }}" | grep -oE '#[0-9]+' | tr -d '#')
|
ISSUE_NUMS=$(echo "${{ github.event.pull_request.body }}" | grep -oE '#[0-9]+' | tr -d '#')
|
||||||
for ISSUE_NUM in $ISSUE_NUMS; do
|
for ISSUE_NUM in $ISSUE_NUMS; do
|
||||||
LABELS=$(gh issue view $ISSUE_NUM --json labels --jq '.labels[].name')
|
LABELS=$(gh issue view $ISSUE_NUM --repo github/docs-content --json labels --jq '.labels[].name')
|
||||||
if echo "$LABELS" | grep -q 'DIY docs'; then
|
if echo "$LABELS" | grep -q 'DIY docs'; then
|
||||||
echo "DIY_DOCS_LABEL=true" >> $GITHUB_ENV
|
echo "DIY_DOCS_LABEL=true" >> $GITHUB_ENV
|
||||||
break
|
break
|
||||||
|
|||||||
Reference in New Issue
Block a user