sbt/scripts/push-gh-pages-helper.sh

#!/bin/bash

if [ "$1" = "clone" ]; then
  git clone "https://${GH_TOKEN}@github.com/alexarchambault/coursier.git" -b gh-pages coursier-gh-pages >/dev/null 2>&1
else
  git push origin gh-pages >/dev/null 2>&1
fi
Pushing to gh-pages from Travis 2015-06-18 01:00:03 +02:00			`#!/bin/bash`

			`if [ "$1" = "clone" ]; then`
New attempt at having Travis push to gh-pages 2015-06-18 03:05:38 +02:00			`git clone "https://${GH_TOKEN}@github.com/alexarchambault/coursier.git" -b gh-pages coursier-gh-pages >/dev/null 2>&1`
Pushing to gh-pages from Travis 2015-06-18 01:00:03 +02:00			`else`
			`git push origin gh-pages >/dev/null 2>&1`
			`fi`