export PATH=./Gwion:$PATH
make build
git branch -r | grep gh-pages && git push origin :gh-pages || true
- # git config --local user.email "action@github.com"
- # git config --local user.name "GitHub Action"
+ git config --local user.email "action@github.com"
+ git config --local user.name "GitHub Action"
git add -f book
git commit -m "add book"
- git push https://${{ secrets.GITHUB_ACTOR }}:${{ secrets.GWION_TOKEN }}@github.com/fennecdjay/Gwion.git HEAD:gh_pages
+ git remote set-url origin https://${{ secrets.GITHUB_ACTOR} }:${{ secrets.GITHUB_TOKEN }}@github.com/fennecdjay/Gwion.git
+ git push HEAD:gh_pages