pull before push
This commit is contained in:
parent
89a43bf113
commit
db55edf0b0
@ -11,6 +11,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"
|
||||||
|
git pull
|
||||||
mkdocs gh-deploy --remote-name https://mariuspana:$GITHUB_API_KEY@github.com/spearheadsys/issue-response-docs.git
|
mkdocs gh-deploy --remote-name https://mariuspana:$GITHUB_API_KEY@github.com/spearheadsys/issue-response-docs.git
|
||||||
cd "$TRAVIS_BUILD_DIR"
|
cd "$TRAVIS_BUILD_DIR"
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user