chore: update deployment workflow to grant write permissions and configure remote URL with GITHUB_TOKEN

This commit is contained in:
zurdi
2025-02-26 15:10:19 +00:00
parent 442212212b
commit 6014fb09d3
+4 -2
View File
@@ -14,7 +14,7 @@ concurrency:
cancel-in-progress: true
permissions:
contents: read
contents: write
pages: write
id-token: write
@@ -46,7 +46,9 @@ jobs:
run: |
git config --global user.name ${{ secrets.GIT_NAME }}
git config --global user.email ${{ secrets.GIT_EMAIL }}
git remote set-url origin https://x-access-token:${{ secrets.DOCS_PAT }}@github.com/rommapp/docs.git
git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git
- name: Build the documentation
run: uv run mike deploy --push ${{ github.event.inputs.version }} latest
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}