From dc48b48b7ca178068154a800fa1e271f0664bc51 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sat, 22 Feb 2020 00:10:44 +0100 Subject: [PATCH] :wrench: utilities --- .github/workflows/bot.yml | 1 - .github/workflows/doc.yml | 23 +++++++++++++++++++++++ 2 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/doc.yml diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml index 75eeb544..d8e75d89 100644 --- a/.github/workflows/bot.yml +++ b/.github/workflows/bot.yml @@ -17,7 +17,6 @@ jobs: run: | git clone https://github.com/fennecdjay/gwion-cinch-bot cd gwion-cinch-bot - [ -z "$(git diff "HEAD^" src ast util)" ] && exit 0 git config --local user.email "action@github.com" git config --local user.name "GitHub Action" git commit --allow-empty -m "update gwion" diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml new file mode 100644 index 00000000..5ae07776 --- /dev/null +++ b/.github/workflows/doc.yml @@ -0,0 +1,23 @@ +name: Update Doc + +on: + push: + branches: + - 'master' + +jobs: + build: + name: Push to bot repo + runs-on: ubuntu-latest + if: "!contains(github.event.head_commit.message, '[skip ci]')" + + steps: + - name: Clone and push + run: | + git clone https://github.com/fennecdjay/gwion-docs + cd gwion-docs + git config --local user.email "action@github.com" + git config --local user.name "GitHub Action" + git commit --allow-empty -m "update gwion" + git remote set-url origin https://${{ secrets.GWION_DOC }}@github.com/fennecdjay/gwion-docs.git + git push -- 2.43.0