From 0f7276069d85b1070c5ae3057c48658868d6e13a Mon Sep 17 00:00:00 2001
From: Romain Cambier <cambierr@users.noreply.github.com>
Date: Mon, 13 Feb 2017 11:05:39 +0100
Subject: [PATCH] updated run.sh to get more info about why github push fails

---
 run.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run.sh b/run.sh
index a96b535..d41184c 100755
--- a/run.sh
+++ b/run.sh
@@ -16,11 +16,11 @@ if [[ $TRAVIS_PULL_REQUEST == "false" ]] && [[ $TRAVIS_BRANCH = "master" ]]; the
     && cp -r ../target/site/apidocs/* ./ \
     && git add . \
     && git commit -m "Deployed to Github Pages" \
-    && git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1
+    && git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master:gh-pages
     exit $?
 else
     mvn clean package javadoc:aggregate javadoc:jar source:jar-no-fork \
     && cd samples \
     && mvn clean package
     exit $?
-fi
\ No newline at end of file
+fi