diff --git a/.github/workflows/chore.yml b/.github/workflows/chore.yml
index d3586c9..d3e433c 100644
--- a/.github/workflows/chore.yml
+++ b/.github/workflows/chore.yml
@@ -28,7 +28,7 @@ jobs:
           git fetch
           git checkout develop
           git merge --no-ff origin/${{ github.event.pull_request.head.ref }} -m "Merge ${{ github.event.pull_request.head.ref }} into develop"
-          git push origin develop
+          git push origin develop -f
 
   publish-docs:
     name: Publish Documentation
diff --git a/mkdocs.yml b/mkdocs.yml
index 99cc6b8..740b224 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -35,7 +35,7 @@ plugins:
   - mkdocstrings
   - autorefs
 
-site_dir: public
+site_dir: site
 
 nav:
   - Welcome: