Release: 2.3.0

EXP-Codes · Oct 16, 2022 · 1c4f7d5 · 1c4f7d5
1 parent d879207
commit 1c4f7d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gen_javadoc.yml b/.github/workflows/gen_javadoc.yml
@@ -33,4 +33,4 @@ jobs:
           git config --global user.name "Github-Bot"
           git add -A
           git commit -m "Updated by Github Bot" || exit 0
-          git push
+          git push origin HEAD:master