ChronosXYZ/faq-de
1
0
Fork 0
mirror of https://github.com/ru-de/faq.git synced 2024-11-23 02:42:19 +00:00
Code Issues Projects Releases Wiki Activity

verbose

Browse Source
This commit is contained in:
Evgeniy Sokolov 2018-08-09 00:27:25 +02:00
parent 4875cc5692
commit 95ff5247d1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
files/check.sh
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"