From: Lady <redacted>
Date: Mon, 1 May 2023 02:06:43 +0000 (-0700)
Subject: Enable force pushing via make
X-Git-Url: https://git.ladys.computer/WWW/commitdiff_plain/961bb299831f66049a5b3fbb48b2879b55a63c9d?ds=sidebyside;hp=ad249fcdf0bf13bc6abaa97a80fc63b8de002601

Enable force pushing via make
---

diff --git a/GNUmakefile b/GNUmakefile
index 93fb66e..3ed5755 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -19,6 +19,8 @@ DESTINATION_PATH = lady/www
 DESTINATION = $(DESTINATION_HOST):$(DESTINATION_PATH)
 DESTINATION_CHARSET = utf-8
 
+GIT_FORCE =
+
 build:
 # Put any necessary build scripts in here!
 	touch .grass
@@ -34,11 +36,11 @@ ensure-branch-up-to-date:
 ensure-clean:
 	@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 ensure-branch-up-to-date ensure-build
+dry-sync: ensure-clean$(if $(GIT_FORCE),, ensure-branch-up-to-date) ensure-build
 	$(RSYNC) $(RSYNC_FLAGS) --del --dry-run --filter=". $(RSYNC_FILTER)" --iconv=$(SOURCE_CHARSET),$(DESTINATION_CHARSET) $(RSYNC_OPTIONS) . $(DESTINATION)
 
-sync: ensure-clean ensure-branch-up-to-date ensure-build
+sync: ensure-clean$(if $(GIT_FORCE),, ensure-branch-up-to-date) ensure-build
 	$(RSYNC) $(RSYNC_FLAGS) --del --filter=". $(RSYNC_FILTER)" --iconv=$(SOURCE_CHARSET),$(DESTINATION_CHARSET) $(RSYNC_OPTIONS) . $(DESTINATION)
-	git push --force
+	git push$(if $(GIT_FORCE), --force,)
 
 .PHONY: build dry-sync ensure-branch-up-to-date ensure-build ensure-clean sync;