Merge pull request #94 from serlo/uberspace-force-git-checkout

ci: force git checkout on Uberspace
serlo · Oct 15, 2024 · 88f1dc6 · 88f1dc6
2 parents 91d2ed0 + b7fe25e
commit 88f1dc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -33,7 +33,7 @@ jobs:
           key: ${{ secrets.SSH_PRIVATE_KEY }}
           script: |
             cd /home/${{ env.REMOTE_USER }}/serlo-editor-as-lti-tool/
-            git checkout ${{ github.ref_name }}
+            git checkout --force ${{ github.ref_name }}
             git pull
             yarn
             yarn build