diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-04-21 20:52:16 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-05-01 20:49:25 +0200 |
| commit | f30743f52a1283743d0f5e259136f82588fc6bb2 (patch) | |
| tree | 209df6054ccb684ed96fdc1f61ca17ad325fa1b3 /ci | |
| parent | 4a7dc22259865ec69eb93c4be4aa852e0f27d3fa (diff) | |
push docs to another repo & update README
Diffstat (limited to 'ci')
| -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 65ddb90..6c69693 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 } |