From f30743f52a1283743d0f5e259136f82588fc6bb2 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 21 Apr 2019 20:52:16 +0200
Subject: push docs to another repo & update README

---
 ci/after-success.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ci')

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
 }
-- 
cgit v1.2.3