remove unnecessary git push

This commit is contained in:
Julian Mutter 2025-03-22 08:46:34 +01:00
parent a2a3d2586c
commit 3801bbda11

View File

@ -35,7 +35,6 @@ jobs:
then
git fetch origin
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
git checkout origin/main -- flake.lock