Add a Makefile to deploy

irtlab · Dec 15, 2024 · 1881f2a · 1881f2a
1 parent 0fd0649
commit 1881f2a
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,19 @@
+default: deploy
+
+.PHONY: deploy-check-git
+.ONESHELL:
+.SHELLFLAGS: -e
+check-git:
+	test "$$(git branch --show-current)" == "main"
+	test -z "$$(git status --porcelain)"
+
+.PHONY: deploy-github
+deploy-github: check-git
+	git push origin
+
+.PHONY: deploy-gitlab
+deploy-gitlab: check-git
+	git push gitlab
+
+.PHONY: deploy
+deploy: deploy-github deploy-gitlab