www

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

commit 8303629ffd6619b32d0334a2c37891bd62f598c9
parent 1f81d3309696ebbfbed6e3b1b7dce5dfac21d05a
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 18:23:06 +0100

Try to auto-push to master

Diffstat:
M.travis.yml | 1+
Mauto-push-master.sh | 4+++-
2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml @@ -78,4 +78,5 @@ script: # - raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage . after_success: + - sleep 30 - sh ./auto-push-master.sh diff --git a/auto-push-master.sh b/auto-push-master.sh @@ -34,6 +34,8 @@ else ssh-add ~/.ssh/travis-deploy-key-id_rsa git log --oneline --decorate --graph -10 + set +x echo 'git push --quiet "https://git@github.com/jsmaniac/phc-thesis.git" HEAD:master' - (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. + #(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. + (git push --force --quiet "git@github.com:jsmaniac/phc-thesis.git" master:gh-pages) fi \ No newline at end of file