Removing push.

kiegroup · Aug 11, 2023 · d6ad886 · d6ad886
1 parent fa6261d
commit d6ad886
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.jenkins/Jenkinsfile b/.jenkins/Jenkinsfile
@@ -153,7 +153,7 @@ pipeline {
 
                                 // Remove comment when in prod.
                                 println "[INFO] Pushing to code.engineering..."
-                                githubscm.pushObject('code.engineering', params.PATCH_JIRA_ID)
+                                //githubscm.pushObject('code.engineering', params.PATCH_JIRA_ID)
 
                             } else {
                                 echo "No changes to push."