From 0961036759bb9e4d6db9bd905d00a3f09a828284 Mon Sep 17 00:00:00 2001
From: niden <nikos@niden.net>
Date: Mon, 18 Dec 2023 14:40:33 -0600
Subject: [PATCH] trying with a push now

---
 .github/workflows/deploy-documents.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/deploy-documents.yml b/.github/workflows/deploy-documents.yml
index f66a53b1c..3555936e1 100644
--- 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