fix

bussilab · Oct 1, 2024 · fe6c83c · fe6c83c
1 parent 0b144c0
commit fe6c83c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/pushdoc b/.ci/pushdoc
@@ -8,7 +8,7 @@ cd doc
 git init
 git config user.email [email protected]
 git config user.name bussilabbot
-git remote add doc https://bussilabbot:$@[email protected]/bussilab/doc-MDRefine
+git remote add doc https://bussilabbot:[email protected]/bussilab/doc-MDRefine
 
 cat > index.html << EOF
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">