Actually push the tag if instructed to do so (Makefile)

2026-02-19 17:11:20 +01:00 · 2025-12-15 15:46:53 +01:00
parent e5d5ed91bd
commit c605db4370
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -103,7 +103,7 @@ git-tag:
 git-tag-push:
 	@read -p 'Push the git tag "$(VERSION)" to origin? [yN] ' ;\
   	if test "$$REPLY" = 'y'; then \
-        echo git push origin tag $(VERSION) ;\
+        git push origin tag $(VERSION) ;\
    fi; \

 edit-changelog: