From 6562510e4dd15799ed3fdb0a3804649c04369d86 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Thu, 18 Feb 2021 10:20:23 -0500
Subject: [PATCH] Silent git commands.

---
 Jenkinsfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d098635..e1bea0d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -167,10 +167,10 @@ def exec(repo_url, repo_name) {
             def complete_url = "${repo_url}.git"
             def repository = complete_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@")
             def bashWrapper = """
-                git remote set-url origin $repository
-                git remote -v
-                git config user.email "git.gcube@localhost"
-                git config user.name "git.gcube"
+                git remote set-url origin $repository >/dev/null 2>&1
+                git remote -v >/dev/null 2>&1
+                git config user.email "git.gcube@localhost" >/dev/null 2>&1
+                git config user.name "git.gcube" >/dev/null 2>&1
                 curl "${ACTION_URL}" -o actions.sh
                 chmod a+x actions.sh
                 source actions.sh