From c605db4370ead756712bc236172d20a6262142ed Mon Sep 17 00:00:00 2001
From: Pablo Zmdl <pablo@nextcloud.com>
Date: Mon, 15 Dec 2025 15:46:53 +0100
Subject: [PATCH] Actually push the tag if instructed to do so (Makefile)

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 26c56a9d2..b98fcb517 100644
--- a/Makefile
+++ b/Makefile
@@ -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: