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

fix new pages for gh-pages (#507)

This commit is contained in:
Evgenii Sokolov 2020-10-16 01:55:43 +02:00
parent 06fe26c5fb
commit e44d1a102d

View File

@ -42,7 +42,7 @@ git checkout upstream/gh-pages
bash update.sh > /dev/null 2>&1
git add pages
if ! git diff --quiet; then
if ! git diff HEAD --quiet; then
git commit -q -am "Travis #$TRAVIS_BUILD_NUMBER: sync github pages"
git push -q upstream HEAD:gh-pages
echo "Github pages was updated"