diff --git a/Jenkinsfile b/Jenkinsfile index 55163e3..22330c7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -69,7 +69,7 @@ pipeline { } steps { script { - echo "Attempting to merge PR ${env.CHANGE_ID} using credentials..." + echo "Attempting to merge PR ${env.CHANGE_ID} using credentials ..." withCredentials([usernamePassword(credentialsId: 'Jenkins creds', usernameVariable: 'GITEA_USER', passwordVariable: 'GITEA_PASS')]) { def prId = env.CHANGE_ID sh """