From 292eae9797cfa9383d0519c175382174e62c06ea Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Fri, 21 Feb 2020 22:34:50 +0100 Subject: [PATCH] :wrench: push bot only on source change --- .github/workflows/bot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml index dcafa513..75eeb544 100644 --- a/.github/workflows/bot.yml +++ b/.github/workflows/bot.yml @@ -17,7 +17,7 @@ jobs: run: | git clone https://github.com/fennecdjay/gwion-cinch-bot cd gwion-cinch-bot - [ -z "$(git diff "HEAD^" src)" ] && exit 0 + [ -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" -- 2.43.0