projects-dir.mk: push --force-with-lease

To make it easier to force-push feature branches, allow that, albeit under --force-with-lease protection.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2026-05-05 17:37:50 +02:00
commit ff29d1f863
Signed by: Jan Lindemann
GPG key ID: 3750640C9E25DD61

View file

@ -318,10 +318,10 @@ get-%: git-get-%
# --- git targets
git-push push: $(SSH_WRAPPER_SH)
$(PGIT_SH) push $(PGIT_SH_OPTS_NETWORK)
$(PGIT_SH) push $(PGIT_SH_OPTS_NETWORK) --force-with-lease
git-push-all: $(SSH_WRAPPER_SH)
$(PGIT_SH) push $(PGIT_SH_OPTS_NETWORK) --all --recurse-submodules=on-demand
$(PGIT_SH) push $(PGIT_SH_OPTS_NETWORK) --force-with-lease --all --recurse-submodules=on-demand
git-diff: $(SSH_WRAPPER_SH)
$(PGIT_SH) --porcelain diff