Merge pull request github#16042 from github/repo-sync

repo sync

Author: Octomerger

.github/workflows/openapi-decorate.yml

@@ -37,6 +37,9 @@ jobs:
           # so we need to specify the PR head ref explicitly since we're making
           # changes that we want to commit to the branch.
           ref: ${{ github.event.pull_request.head.ref }}
+          # Using a PAT is necessary so that the new commit will trigger the
+          # CI in the PR. (Events from GITHUB_TOKEN don't trigger new workflows.)
+          token: ${{ secrets.DOCUBOT_REPO_PAT }}
 
       - name: Setup node
         uses: actions/setup-node@1f8c6b94b26d0feae1e387ca63ccbdc44d27b561