From 30f8d09e00670d3f3fb1dc8c2b8f38537d27821f Mon Sep 17 00:00:00 2001 From: David Date: Wed, 26 Oct 2022 14:29:44 -0300 Subject: [PATCH] When ver doesn't change, don't commit and push. --- .github/fix-docs-version.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/fix-docs-version.sh b/.github/fix-docs-version.sh index 6319a4a..7ffe87a 100755 --- a/.github/fix-docs-version.sh +++ b/.github/fix-docs-version.sh @@ -17,5 +17,5 @@ update_file_versions ${VERSION} README.md git add README.md git config --local user.email "$(git log --format='%ae' HEAD^!)" git config --local user.name "$(git log --format='%an' HEAD^!)" -git commit -m "[skip ci] Updated README version" -git push origin HEAD:master +git add -A +git diff-index --quiet HEAD || git commit -m "[skip ci] Updated README version" & git push origin HEAD:master