]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: push bit only on source change
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 21 Feb 2020 21:33:10 +0000 (22:33 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 21 Feb 2020 21:33:10 +0000 (22:33 +0100)
.github/workflows/bot.yml

index d8e75d89c8a003797724bbe77053316f090aaa90..dcafa513d3a5a6651722b01bf828cfadb1cc4885 100644 (file)
@@ -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"