Merge pull request #37012 from github/repo-sync

Repo sync

Author: docs-bot

.github/workflows/ready-for-doc-review.yml

@@ -49,17 +49,25 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_WRITEORG_PROJECT }}
         run: |
+          echo "Extracting issue numbers from PR description..."
           ISSUE_NUMS=$(echo "${{ github.event.pull_request.body }}" | grep -oE '(https://github.com/github/docs-content/issues/[0-9]+|github/docs-content#[0-9]+|#[0-9]+)' | grep -oE '[0-9]+$')
+          echo "Extracted issue numbers: $ISSUE_NUMS"
 
           if [ -n "$ISSUE_NUMS" ]; then
             for ISSUE_NUM in $ISSUE_NUMS; do
               # Check if the issue exists in the docs-content repository
+              echo "Checking issue $ISSUE_NUM in the docs-content repository..."
               if gh issue view $ISSUE_NUM --repo github/docs-content --json labels > /dev/null 2>&1; then
+                echo "Issue $ISSUE_NUM exists in docs-content. Fetching labels..."
                 # Fetch labels for the issue
                 LABELS=$(gh issue view $ISSUE_NUM --repo github/docs-content --json labels --jq '.labels[].name' || echo "")
+                echo "Labels for issue $ISSUE_NUM: $LABELS"
                 if echo "$LABELS" | grep -q 'DIY docs'; then
+                  echo "DIY docs label found for issue $ISSUE_NUM."
                   echo "DIY_DOCS_LABEL=true" >> $GITHUB_ENV
                   break
+                else
+                  echo "DIY docs label not found for issue #$ISSUE_NUM."
                 fi
               else
                 echo "Issue $ISSUE_NUM does not exist in the docs-content repository."

src/github-apps/lib/config.json

@@ -60,5 +60,5 @@
       "2022-11-28"
     ]
   },
-  "sha": "fd8b14666d8a4e34411bee8dbd103edc8b81d0e3"
+  "sha": "dd7e0cab3399025166a33575ce09af6ff60bb26a"
 }