Try force push (#1459)

2 weeks ago · 8b9b3431e4
1 changed files with 2 additions and 1 deletions
--- a/.github/workflows/mkdocs.yml
+++ b/.github/workflows/mkdocs.yml
@ -41,5 +41,6 @@ jobs:
            mike deploy "$REF_NAME" "latest" --push --allow-empty --ignore-remote-status --update-aliases
            mike set-default --push "latest"
          elif [ "$REF_TYPE" = "branch" ] && [ "$REF_NAME" = "master" ]; then
-            mike deploy master --push --ignore-remote-status --allow-empty
+            mike deploy master --ignore-remote-status --allow-empty
+            git push -f origin gh-pages
          fi