Update docs gh-pages sh

damn · Dec 13, 2023 · c809640 · c809640
1 parent 9d70f91
commit c809640
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/deploy_docs b/deploy_docs
@@ -1,8 +1,7 @@
 set -e
 
 git checkout gh-pages
-git merge main
-git commit -m 'Merge main'
+git merge main --commit
 lein codox
 rm -rf docs
 mv target/doc docs