This commit is contained in:
gilesb 2023-10-23 18:24:50 +01:00 committed by giles
parent 43a3e9a3cc
commit 725dbc3b0d
1 changed files with 1 additions and 1 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 -Xtheirs origin/master
git rebase -Xours origin/master
git log -5
echo no development branch so pushing
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};