www

commit f0399c2a4896db1174ee28b996d4c862d6fa73e8
parent 8303629ffd6619b32d0334a2c37891bd62f598c9
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Tue, 21 Mar 2017 18:30:53 +0100

Try to auto-push to master

Diffstat:
M
.travis.yml
 | 
2
+-
M
auto-push-gh-pages.sh
 | 
2
+-
M
auto-push-master.sh
 | 
6
+++---

3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/.travis.yml b/.travis.yml
@@ -78,5 +78,5 @@ script:
 # - raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage .
 
 after_success:
- - sleep 30
+ - sleep 60
  - sh ./auto-push-master.sh
diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh
@@ -43,6 +43,6 @@ else
   touch $TRAVIS_GH_PAGES_DIR/.nojekyll
   (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)'
+  echo '(cd '"$TRAVIS_GH_PAGES_DIR"'; git push --force --quiet "git@github.com/jsmaniac/phc-thesis.git" master:gh-pages)'
   (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
diff --git a/auto-push-master.sh b/auto-push-master.sh
@@ -35,7 +35,7 @@ else
 
   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)
+  echo 'git push --quiet "git@github.com/jsmaniac/phc-thesis.git" HEAD:master'
+  #(git push --force --quiet "git@github.com:jsmaniac/phc-thesis.git" HEAD:master >/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" HEAD:master)
 fi
 \ No newline at end of file