From 60bff2e3a3cca9c1c6d02822429b0fbb177b5bce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Louren=C3=A7o?= <joao.lourenco@fct.unl.pt>
Date: Thu, 31 Oct 2024 15:07:19 +0000
Subject: [PATCH] Fix makefile bump target
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: João Lourenço <joao.lourenco@fct.unl.pt>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 836a32da..1ee57444 100644
--- a/Makefile
+++ b/Makefile
@@ -222,7 +222,7 @@ define mtp
 	git merge -m "Merge branch 'develop'" develop
 	git tag -f -a "v$(VERSION)" -m "Version $(VERSION)."
 	git push --all
-	git push --tags
+	git push -f --tags
 	git checkout develop
 endef