From d813e95932430ac96633349a4bc2ae161c475d7d Mon Sep 17 00:00:00 2001
From: Travis CI <travis@travis-ci.org>
Date: Wed, 8 Aug 2018 22:27:36 +0000
Subject: [PATCH] Travis #924: sync github pages

---
 pages/files/check.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pages/files/check.sh b/pages/files/check.sh
index 9938975..596d707 100644
--- a/pages/files/check.sh
+++ b/pages/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"