From 34bfe49d3ede9298d4dc9d91cbcd1d4d7403da7f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Pfeuffer?= <rene.pfeuffer@cloudogu.com>
Date: Tue, 13 Dec 2022 08:34:51 +0100
Subject: [PATCH] Fix push command in Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index ac093dd51f..5273e0bf27 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -166,7 +166,7 @@ pipeline {
         script {
           // push changes back to remote repository
           if (isReleaseBuild()) {
-            authGit 'SCM-Manager', 'push origin main--tags'
+            authGit 'SCM-Manager', 'push origin main --tags'
           } else {
             authGit 'SCM-Manager', "push origin ${env.BRANCH_NAME} --tags"
           }