diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 98aa2595..4e51fc39 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -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