trying with a push now

phalcon · Dec 18, 2023 · 0961036 · 0961036
1 parent c08ff4b
commit 0961036
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/deploy-documents.yml b/.github/workflows/deploy-documents.yml
@@ -68,8 +68,6 @@ jobs:
           mike deploy \
             --update-aliases \
             --branch production \
+            --push \
             ${{ fromJson(steps.determine-versioning.outputs.data).version }} \
             ${{ fromJson(steps.determine-versioning.outputs.data).alias }}
-          git remote set-url origin \
-            https://x-access-token:${{ secrets.DOCS_PAT }}@github.com/${{ github.repository }}
-          git push