pull and force, again?

This commit is contained in:
Marius Pana 2017-01-13 21:26:44 +02:00
parent 6b3647297f
commit 3d86b1ca05

View File

@ -16,6 +16,7 @@ script:
after_success: | after_success: |
if [ -n "$GITHUB_API_KEY" ]; then if [ -n "$GITHUB_API_KEY" ]; then
cd "$TRAVIS_BUILD_DIR" cd "$TRAVIS_BUILD_DIR"
mkdocs gh-deploy --clean git pull
mkdocs gh-deploy --force
cd "$TRAVIS_BUILD_DIR" cd "$TRAVIS_BUILD_DIR"
fi fi