Publish docs pr 2.x

.github/workflows/ce-provision-publish-docs.yml

@@ -47,16 +47,15 @@ jobs:
           /usr/bin/git commit -m "GitHub Actions - updating markdown docs - ${{ steps.date.outputs.date }}"
           /usr/bin/git push
 
+      - name: Install GitHub CLI
+        run: (type -p wget >/dev/null || (sudo apt update && sudo apt-get install wget -y)) && sudo mkdir -p -m 755 /etc/apt/keyrings && out=$(mktemp) && wget -nv -O$out https://cli.github.com/packages/githubcli-archive-keyring.gpg && cat $out | sudo tee /etc/apt/keyrings/githubcli-archive-keyring.gpg > /dev/null && sudo chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg && echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null && sudo apt update && sudo apt install gh -y
+
       # 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