From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 21 Feb 2020 21:33:10 +0000 (+0100)
Subject: :wrench: push bit only on source change
X-Git-Tag: nightly~1783
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=28d138d104e1d1b43590125f27f84a4cb109925b;p=gwion.git

:wrench: push bit only on source change
---

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index d8e75d89..dcafa513 100644
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -17,6 +17,7 @@ jobs:
       run: |
         git clone https://github.com/fennecdjay/gwion-cinch-bot
         cd gwion-cinch-bot
+        [ -z "$(git diff "HEAD^" src)" ] && exit 0
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git commit --allow-empty -m "update gwion"