1
0
mirror of https://github.com/ru-de/faq.git synced 2024-11-26 20:32:21 +00:00
This commit is contained in:
Evgeniy Sokolov 2018-08-09 00:24:56 +02:00
parent 91464120e0
commit 4875cc5692

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 -s "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 -s "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"