#!/bin/bash echo Starting push to gh-pages... mkdir deploy cd deploy git config --global user.email "johnny@johnnycrazy.de" git config --global user.name "Travis-CI" git clone --quiet --branch=gh-pages https://${GH_TOKEN}@github.com/JohnnyCrazy/SpotifyAPI-NET gh-pages > /dev/null cd gh-pages git rm -rf ./ cp -Rf ../../site ./ git add -f . git commit -m "Automatic built mkdocs | $TRAVIS_BUILD_NUMBER pushed" git push -fq origin gh-pages > /dev/null echo -e "Done"