From d4a4e7d691378e02f31b6eb7a6d89d2d2506845f Mon Sep 17 00:00:00 2001
From: Konrad 'ktoso' Malawski <ktoso@typesafe.com>
Date: Fri, 30 May 2014 13:04:02 +0200
Subject: [PATCH] =pro silence github tagging (curl)

---
 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 306b8ddaa0..6dbf222671 100755
--- a/scripts/build/github-tagging.sh
+++ b/scripts/build/github-tagging.sh
@@ -18,10 +18,10 @@ function ghtag {
   add=$4
   remove=$5
 
-  curl -s -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 > /dev/null
   for d in $remove
   do
-    curl -s -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 > /dev/null
   done
 }