Configure HTTPS remote URL

Author: mlr

.github/workflows/deploy-bundle-preview.yml

@@ -107,6 +107,8 @@ jobs:
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
           git commit --allow-empty -m "Auto-deployed from GitHub Actions"
+
+          git remote set-url origin https://${{ secrets.DOCS_GITHUB_PAT }}@github.com/${{ github.event.repository.full_name }}.git
           git push -u origin gh-pages
 
       - name: Obtain GitHub Pages build URL