1
0
mirror of https://github.com/ru-de/faq.git synced 2024-09-20 03:51:28 +00:00

Travis #924: sync github pages

This commit is contained in:
Travis CI 2018-08-08 22:27:36 +00:00
parent 73d129721d
commit d813e95932

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"