www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 232659b2007eb884afc8c4637f5683b48bd6f73e
parent 45f6ec37d3bd37b45e94563c9ca2e0c60c9e5742
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 01:59:15 +0100

Fixed push URL for deployment

Diffstat:

Mauto-push-gh-pages.sh | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh
@@ -44,5 +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://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 "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.
 fi
 \ No newline at end of file