Compare commits

..

No commits in common. "3d606bff687b13c9c14dbd4bade4425c6f3092ab" and "38d8984f594718cc98796e2f417dd99ce158a761" have entirely different histories.

2 changed files with 3 additions and 3 deletions

View File

@ -43,7 +43,7 @@ jobs:
- name: push
run: |
if [[ $(git branch -r | grep -Fx " origin/${{ env.DEVELOPMENT_BRANCH }}" | wc -c) -eq 0 ]]; then
git rebase origin/master --strategy-option ours
git rebase origin/master --strategy-option theirs
git log -5
echo no development branch so pushing
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
@ -59,7 +59,7 @@ jobs:
echo 'pushed new branch and created pr';
else
if [[ $(git diff origin/${{ env.DEVELOPMENT_BRANCH }} | wc -c) -ne 0 ]]; then
git rebase origin/${{ env.DEVELOPMENT_BRANCH }} --strategy-option ours
git rebase origin/${{ env.DEVELOPMENT_BRANCH }} --strategy-option theirs
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};
else
echo 'no changes so no push'

View File

@ -44,7 +44,7 @@ jobs:
git push origin HEAD:${{ env.BUILD_BRANCH }};
else
if [[ $(git diff origin/${{ env.BUILD_BRANCH }} | wc -c) -ne 0 ]]; then
git rebase origin/${{ env.BUILD_BRANCH }} --strategy-option ours
git rebase origin/${{ env.BUILD_BRANCH }} --strategy-option theirs
git push origin HEAD:${{ env.BUILD_BRANCH }}
else
echo 'no changes so no push'