diff --git a/Jenkinsfile b/Jenkinsfile index 6a229f739..cf2156d11 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -79,7 +79,8 @@ node { // normally main pipeline is only triggered by merge of release or hotfixes OR manually triggered // if manually triggered for deploy, no PR should be created if (params.deploy != "true") { - handleDevPr(sshCredentialsId, orgName, projectName, currentBranchName) + // Disabled for now + // handleDevPr(sshCredentialsId, orgName, projectName, currentBranchName) } } }