diff --git a/.github/workflows/update_documentation.yml b/.github/workflows/update_documentation.yml index a0419ff03..47ec6b6da 100644 --- a/.github/workflows/update_documentation.yml +++ b/.github/workflows/update_documentation.yml @@ -43,20 +43,20 @@ jobs: - name: Copy built documentation run: cp -r docs/_build/html/* . - # - name: Add and commit changes - # run: | - # git add * -f - # git commit -m "Update documentation" - - # - name: Push changes to gh-pages - # run: git push origin gh-pages - - - name: Deploy documentation + - name: Add and commit changes run: | - git config user.email "actions@github.com" - git config user.name "GitHub Actions" git add * -f git commit -m "Update documentation" - git push origin HEAD:gh-pages - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} \ No newline at end of file + + - name: Push changes to gh-pages + run: git push origin gh-pages + + # - name: Deploy documentation + # run: | + # git config user.email "actions@github.com" + # git config user.name "GitHub Actions" + # git add * -f + # git commit -m "Update documentation" + # git push origin HEAD:gh-pages + # env: + # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} \ No newline at end of file