diff --git a/.github/workflows/openapi-decorate.yml b/.github/workflows/openapi-decorate.yml index 72432ee3c0..b0412c95b0 100644 --- a/.github/workflows/openapi-decorate.yml +++ b/.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