Branch sync - only sync when there is a difference to avoid errors.

This commit is contained in:
Roger A. Light 2020-08-04 12:25:49 +01:00
parent 0ac46c2d2a
commit a38cb3bf51

View File

@ -13,7 +13,13 @@ jobs:
with:
fetch-depth: 0
- run: |
git checkout -b coverity-fixes origin/fixes
git push origin coverity-fixes
git checkout -b coverity-develop origin/develop
git push origin coverity-develop
git diff --exit-code -s origin/coverity-fixes origin/fixes
if [ "$?" = "1" ]; then
git checkout -b coverity-fixes origin/fixes
git push origin coverity-fixes
fi
git diff --exit-code -s origin/coverity-develop origin/develop
if [ "$?" = "1" ]; then
git checkout -b coverity-develop origin/develop
git push origin coverity-develop
fi