diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml index 5cc8585..fa2a701 100644 --- a/.github/workflows/javadoc.yml +++ b/.github/workflows/javadoc.yml @@ -77,5 +77,5 @@ jobs: git commit -m "API Document generated." - name: Push javadocs run: | - git push origin gh-pages + git push origin HEAD:gh-pages --force