www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 45f6ec37d3bd37b45e94563c9ca2e0c60c9e5742
parent 53d23f3bee96d301e819df6683f171e6b5840a35
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 01:58:53 +0100

Fixed push URL for deployment

Diffstat:
Mauto-push-gh-pages.sh | 3+--
1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh @@ -44,6 +44,5 @@ else (cd $TRAVIS_GH_PAGES_DIR && git add -A . && git commit -m "Auto-publish to gh-pages") (cd $TRAVIS_GH_PAGES_DIR && git log --oneline --decorate --graph -10) echo '(cd '"$TRAVIS_GH_PAGES_DIR"'; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages)' - #(cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages >/dev/null 2>&1) >/dev/null 2>&1 # redirect to /dev/null to avoid showing credentials. - (cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages) + (cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://github.com/jsmaniac/phc-thesis.git" master:gh-pages >/dev/null 2>&1) >/dev/null 2>&1 # redirect to /dev/null to avoid showing credentials. fi \ No newline at end of file