Adjust remote URL.

This commit is contained in:
Manuele Simi 2021-01-17 22:46:13 -05:00
parent c8e0765df8
commit 803e8f7b23
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -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}.git"
def repository = complete_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@")
sh("""
git remote set-url origin $repository