From 95ff5247d1ad1c95c477363e84a19f1880f795d7 Mon Sep 17 00:00:00 2001 From: Evgeniy Sokolov Date: Thu, 9 Aug 2018 00:27:25 +0200 Subject: [PATCH] verbose --- files/check.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/files/check.sh b/files/check.sh index bbc13b9..596d707 100644 --- a/files/check.sh +++ b/files/check.sh @@ -11,7 +11,7 @@ git config --global core.quotepath false git diff HEAD^ --name-status | grep "^D" -v | sed 's/^.\t//g' | grep "\.md$" > /tmp/changed_files -curl -s "https://github-api-bot.herokuapp.com/diff?repo=$TRAVIS_REPO_SLUG&pr=$TRAVIS_PULL_REQUEST" > /tmp/pr.diff +curl "https://github-api-bot.herokuapp.com/diff?repo=$TRAVIS_REPO_SLUG&pr=$TRAVIS_PULL_REQUEST" > /tmp/pr.diff if [ "$?" != "0" ]; then echo "Can't get github pull request diff, probably rate limit? Try to restart CI build" @@ -45,7 +45,7 @@ cat /tmp/comments_array.json EXIT_CODE=0 if [ "$(cat /tmp/comments_array.json)" != "[]" ]; then - curl -s "https://github-api-bot.herokuapp.com/comments?repo=$TRAVIS_REPO_SLUG&pr=$TRAVIS_PULL_REQUEST" > /tmp/pr_comments.json + curl "https://github-api-bot.herokuapp.com/comments?repo=$TRAVIS_REPO_SLUG&pr=$TRAVIS_PULL_REQUEST" > /tmp/pr_comments.json if [ "$?" != "0" ]; then echo "Can't get github comments, probably rate limit? Try to restart ci build"