diff --git a/.gitea/workflows/build->develop.yml b/.gitea/workflows/build->develop.yml index e451947..8345f11 100644 --- a/.gitea/workflows/build->develop.yml +++ b/.gitea/workflows/build->develop.yml @@ -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 push origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; + git push -f origin HEAD:${{ env.DEVELOPMENT_BRANCH }}; else echo 'no changes so no push' fi;