Force push

Author: dsmits

.github/workflows/main.yml

@@ -16,7 +16,7 @@ jobs:
           python -m pip install -e .
       - name: deploy
         run: |
-          mkdocs gh-deploy
+          mkdocs gh-deploy --force
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}