@if output=$$(git status --porcelain) && [ ! -z "$$output" ]; then echo 'Error: There are uncommitted changes!' >&2; echo 'Commit changes and run `make` before syncing.' >&2; exit 1; fi
dry-sync: ensure-clean$(if $(GIT_FORCE),, ensure-branch-up-to-date) ensure-build
@if output=$$(git status --porcelain) && [ ! -z "$$output" ]; then echo 'Error: There are uncommitted changes!' >&2; echo 'Commit changes and run `make` before syncing.' >&2; exit 1; fi
dry-sync: ensure-clean$(if $(GIT_FORCE),, ensure-branch-up-to-date) ensure-build
git push$(if $(GIT_FORCE), --force,)
.PHONY: build dry-sync ensure-branch-up-to-date ensure-build ensure-clean sync;
git push$(if $(GIT_FORCE), --force,)
.PHONY: build dry-sync ensure-branch-up-to-date ensure-build ensure-clean sync;