Remove exiting origin before adding new origin

Xaymar · Xaymar · commit 921ab4d4b459 · 2025-08-06T03:08:42.000+02:00
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -46,6 +46,7 @@ jobs:
         pushd build/docs/html
         git init
         git switch --orphan documentation
+        get remote remove origin
         git remote add -t documentation origin ${{ github.repositoryUrl }}
         popd
 
