fix

Author: psteinroe

.github/workflows/deploy_dev_docs.yml

@@ -34,7 +34,7 @@ jobs:
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Build Docs Website
-        run: uv run mike deploy --push develop
+        run: uv run mike deploy --push main
 
   deploy:
     needs: build