]> Nishi Git Mirror - gwion.git/commitdiff
comment
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 22:08:19 +0000 (23:08 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 22:08:19 +0000 (23:08 +0100)
.github/workflows/build.yml

index 349c2e7d7daaf402acbd73936f63f4709a4150cd..3ed74ab760cf5a511f6e44e4f3f8fed7bb03e6a3 100644 (file)
@@ -39,8 +39,8 @@ jobs:
         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