Compare commits

..

No commits in common. "8a4d8b6bc8c7fa819298bdf63d93d77432b7d8c8" and "38d8984f594718cc98796e2f417dd99ce158a761" have entirely different histories.

1 changed files with 2 additions and 2 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'