1
0
mirror of https://github.com/ru-de/faq.git synced 2024-11-25 20:02:19 +00:00

fix for curl

This commit is contained in:
Evgeniy Sokolov 2018-08-09 00:25:49 +02:00
parent b676e19bbd
commit 978ede939b

View File

@ -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 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 if [ "$?" != "0" ]; then
echo "Can't get github pull request diff, probably rate limit? Try to restart CI build" 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 EXIT_CODE=0
if [ "$(cat /tmp/comments_array.json)" != "[]" ]; then 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 if [ "$?" != "0" ]; then
echo "Can't get github comments, probably rate limit? Try to restart ci build" echo "Can't get github comments, probably rate limit? Try to restart ci build"