From c60dccdb5eb8180769b4ecaa830e5319da8c2008 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Thu, 16 Jan 2020 22:01:12 +0100 Subject: [PATCH] some git --- .github/workflows/build.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 62ed127f..85bcaa8c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -38,8 +38,8 @@ jobs: export PATH=~/.cabal/bin:$PATH 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 add -f book -# git commit -m "add book" + 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 add -f book + git commit -m "add book" -- 2.43.0