From 2c0dd094fd7f06bb8846baa7e33c60f1915cc157 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Pfeuffer?= <rene.pfeuffer@cloudogu.com>
Date: Thu, 2 Mar 2023 19:47:13 +0100
Subject: [PATCH] Push develop to GitHub for release builds

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c6b0fcd537..f682c2143a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -191,6 +191,7 @@ pipeline {
         sh "git add gradle.properties '**.json'"
         commit 'Prepare for next development iteration'
         authGit 'SCM-Manager', 'push origin develop'
+        authGit 'cesmarvin', 'push https://github.com/scm-manager/scm-manager develop'
       }
     }