From 9bba4f88fe874674dc7710a94b965dddb9dad8ed Mon Sep 17 00:00:00 2001
From: Konrad 'ktoso' Malawski <ktoso@typesafe.com>
Date: Fri, 23 May 2014 11:12:25 +0200
Subject: [PATCH] =scr silence curl on jenkins, no need for progress bars

---
 scripts/build/github-tagging.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/build/github-tagging.sh b/scripts/build/github-tagging.sh
index 7b24937341..306b8ddaa0 100755
--- a/scripts/build/github-tagging.sh
+++ b/scripts/build/github-tagging.sh
@@ -18,10 +18,10 @@ function ghtag {
   add=$4
   remove=$5
 
-  curl -H "Authorization: token $PR_VALIDATOR_GH_TOKEN" https://api.github.com/repos/$owner/$repo/issues/$issue/labels -X POST -d $add
+  curl -s -H "Authorization: token $PR_VALIDATOR_GH_TOKEN" https://api.github.com/repos/$owner/$repo/issues/$issue/labels -X POST -d $add
   for d in $remove
   do
-    curl -H "Authorization: token $PR_VALIDATOR_GH_TOKEN" https://api.github.com/repos/$owner/$repo/issues/$issue/labels/$d -X DELETE
+    curl -s -H "Authorization: token $PR_VALIDATOR_GH_TOKEN" https://api.github.com/repos/$owner/$repo/issues/$issue/labels/$d -X DELETE
   done
 }