From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 1 Oct 2020 16:12:52 +0000 (+0200)
Subject: :wrench: Improve CI
X-Git-Tag: nightly~1261
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=024bdf5e2cb42798194752161692381ff02b69bb;p=gwion.git

:wrench: Improve CI
---

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 0228d298..98408564 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -12,12 +12,8 @@ jobs:
     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
+    - env:
+        ORG: fennecdjay
+        REPO: gwion-docs
+    - name: Trigger docs build
+      run: curl -H "Content-Type: application/json" -H "Authorization: token ${{ secrets.GWION_DOC }}" -H "Accept: application/vnd.github.everest-preview+json" "https://api.github.com/repos/${ORG}/${REPO}/dispatches"