From b8e9ae70cf2792e2467bbaa2d8c029f7956a7d50 Mon Sep 17 00:00:00 2001
From: Krzysztof Sikorski <krzysztof@mksikorscy.pl>
Date: Sun, 5 May 2024 10:56:17 +0200
Subject: [PATCH] feat: sync the Makefile with other projects

---
 Makefile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index ce7fa16..8c0fd7b 100644
--- a/Makefile
+++ b/Makefile
@@ -3,10 +3,17 @@ SHELL := /bin/sh
 .SUFFIXES: # no special suffixes
 .DEFAULT_GOAL := default
 
+# dummy entry to force make to do nothing by default
+.PHONY: default
 default:
 	@echo "Please choose target explicitly."
 
-.PHONY: git_push_all
-git_push_all:
-	git remote | xargs -L1 git push --verbose --all
+# git helper: push current branch to configured remotes
+.PHONY: git_push_current_branch
+git_push_current_branch:
+	git remote | xargs -L1 git push --verbose
+
+# git helper: push all tags to all configured remotes
+.PHONY: git_push_tags
+git_push_tags:
 	git remote | xargs -L1 git push --verbose --tags