:wrench: utilities

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index 75eeb544831feb6c6829f51c6c5d8d1c114152b5..d8e75d89c8a003797724bbe77053316f090aaa90 100644 (file)
--- 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 (file)
index 0000000..5ae0777
--- /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