workflow: fix merge conflict failing script

This commit is contained in:
Julian Mutter 2025-03-22 08:44:58 +01:00
parent 2ac3af7a53
commit a2a3d2586c

View File

@ -34,7 +34,7 @@ jobs:
if [ $commits_ahead -ne 0 ]
then
git fetch origin
git merge --squash origin/main
git merge --squash origin/main || true # do not exit script on merge conflict
git push --force-with-lease
# solve potential merge conflict by taking flake.lock from main