diff --git a/Jenkinsfile b/Jenkinsfile index 04c8190..7f7c860 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -154,7 +154,7 @@ def exec(actions, repo_url, repo_name) { dir(repo_name) { withCredentials([usernamePassword(credentialsId: '88b54962-1c0e-49cb-8155-22276860f346', passwordVariable: 'GIT_PASSWORD', usernameVariable: 'GIT_USERNAME')]) { - def complete_url = "${repo_url}/${$repo_name}.git" + def complete_url = "${repo_url}/${repo_name}.git" def repository = complete_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@") sh(""" git remote set-url origin $repository