Fix publishing doc

dmerejkowsky · dmerejkowsky · commit 797c1de1431e · 2025-03-29T21:28:02.000+01:00
diff --git a/justfile b/justfile
@@ -33,4 +33,4 @@ deploy-doc: build-doc
         --no-jekyll \
         --remote github \
         docs/_build/html/
-    git push github gh-pages --force --no-verify
+    git push origin gh-pages --force --no-verify
