From a4e3e8b990545bdae022938c9a5edc51271052c6 Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Thu, 22 Aug 2019 18:01:04 +0200 Subject: [PATCH] [fix, CI] Push developer docs once again (#5243) It's been broken since https://github.com/koreader/koreader/pull/3340 nearly two years ago. --- .ci/after_success.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/after_success.sh b/.ci/after_success.sh index 18780032e..d7128e15f 100755 --- a/.ci/after_success.sh +++ b/.ci/after_success.sh @@ -37,7 +37,7 @@ EOF echo -e "\\n${ANSI_GREEN}Pushing document update..." git -c user.name="KOReader build bot" -c user.email="non-reply@koreader.rocks" \ commit -a --amend -m 'Automated documentation build from travis-ci.' - git push -f --quiet origin gh-pages >/dev/null + git push -f --quiet "https://${DOCS_GITHUB_TOKEN}@github.com/koreader/doc.git" gh-pages >/dev/null echo -e "\\n${ANSI_GREEN}Documentation update pushed." } && popd || exit