diff --git a/.github/workflows/ce-provision-publish-docs.yml b/.github/workflows/ce-provision-publish-docs.yml index 07f163b34..66ec74a26 100644 --- a/.github/workflows/ce-provision-publish-docs.yml +++ b/.github/workflows/ce-provision-publish-docs.yml @@ -50,13 +50,9 @@ jobs: # Create docs pull request - name: Create a documentation pull request if: ${{ github.event.pull_request.head.ref != 'docs-${{ github.event.pull_request.base.ref }}' }} - uses: repo-sync/pull-request@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - source_branch: docs-${{ github.event.pull_request.base.ref }} - destination_branch: ${{ github.event.pull_request.base.ref }} - pr_title: Documentation update. - pr_body: "**Automated pull request** created by GitHub Actions because of a documentation update." + run: gh pr create --base ${{ github.event.pull_request.base.ref }} --head docs-${{ github.event.pull_request.base.ref }} --title "**Automated pull request** created by GitHub Actions because of a documentation update." + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Now build and publish the version of the docs - name: Install wiki2pages