From a3e4a2c2bb0f995a9293202136b98dc8e3a41de9 Mon Sep 17 00:00:00 2001 From: Luke Ceddia Date: Sat, 4 Jan 2020 23:40:28 +1100 Subject: [PATCH] Only update source on change --- .ci/update-source.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.ci/update-source.sh b/.ci/update-source.sh index cce930f2d..d6d23d068 100755 --- a/.ci/update-source.sh +++ b/.ci/update-source.sh @@ -11,5 +11,7 @@ cd ../.. git config --local user.email "flukiluke@gmail.com" git config --local user.name "Autobuild Process" git add internal/source -git commit -m "Update internal/source" +if [[ $(git diff --cached | wc -l) -gt 0 ]] + then git commit -m "Update internal/source" +fi