From 0c02512814c98786a89dcdcec62d6a4773a4e511 Mon Sep 17 00:00:00 2001
From: cclecle <clement.chastanier@gmail.com>
Date: Sun, 19 Mar 2023 19:35:37 +0000
Subject: [PATCH] fix: remove branch on git push (useless)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1eb329e..56a6224 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -177,7 +177,7 @@ pipeline {
                                 {
                                     echo "new-tag requested in commit message: $BUMPED_VERSION"
                                     sh("git tag $BUMPED_VERSION")
-                                    sh("git push origin master --tags")
+                                    sh("git push origin --tags")
                                 }
                             }
                         }
-- 
2.47.3