change git fetch command

master
Roberto Cirillo 1 year ago
parent e710e04c71
commit ce4d9baf48

2
Jenkinsfile vendored

@ -152,7 +152,7 @@ def push(repo_url, repo_name, tag, gCube_release_version, commit) {
def repository = repo_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@")
sh("""
git remote set-url origin $repository
git fetch
git fetch --all
mvn clean generate-resources
""")
}

Loading…
Cancel
Save