This commit is contained in:
gilesb 2023-10-23 16:31:39 +01:00 committed by giles
parent a52a41e1b2
commit 2cd7383c3d
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 origin/master --strategy-option ours
git rebase origin/master --strategy-option ours --force-rebase
git log -5
echo no development branch so pushing
git push origin HEAD:${{ env.DEVELOPMENT_BRANCH }};