diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 526c733..8eb6b17 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -47,7 +47,10 @@ jobs: run: | cd target/doc git init + git remote add origin https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} + git fetch origin + git reset --hard "origin/gh-pages^" -- git add . git -c user.name='ci' -c user.email='ci' commit -m init - git push -f -q https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages + git push -f -q origin HEAD:gh-pages if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'