diff
convert-to-yml / develop-branch (push) Successful in 30s Details

This commit is contained in:
giles 2023-10-23 10:07:20 +01:00
parent b85851eafc
commit 6f36d9e23c
1 changed files with 1 additions and 1 deletions

View File

@ -54,7 +54,7 @@ jobs:
CI_COMMIT_AUTHOR: Continuous Integration
run: |
if [[ $(git diff HEAD origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then
git push HEAD origin/${{ env.DEVELOPMENT_BRANCH }};
git push origin HEAD:origin/${{ env.DEVELOPMENT_BRANCH }};
else
echo 'no changes so no push'
fi