From c8e0765df850145346b21b61b3d3d82ee352c7b5 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sun, 17 Jan 2021 22:44:14 -0500
Subject: [PATCH] Fix typo.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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