diff options
Diffstat (limited to 'ci/after-success.sh')
| -rw-r--r-- | ci/after-success.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh index 65ddb904..6c696937 100644 --- a/ci/after-success.sh +++ b/ci/after-success.sh @@ -23,7 +23,8 @@ main() { ./ghp-import/ghp_import.py $td set +x - git push -fq https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git gh-pages && echo OK + # NOTE push documentation to a different repository + git push -fq https://$GH_TOKEN@github.com/japaric/rtfm5.git gh-pages && echo OK rm -rf $td } |