Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 16 lines (14 sloc) 608 Bytes
cd out
cp ../index.html .
git init
git config "Travis CI"
git config ""
git add index.html
git add
git commit -m "Deploy to GitHub Pages"
# Force push from the current repo's master branch to the remote
# repo's gh-pages branch. (All previous history on the gh-pages branch
# will be lost, since we are overwriting it.) We redirect any output to
# /dev/null to hide any sensitive credential data that might otherwise be
# exposed.
git push --force --quiet "https://${GH_TOKEN}" master:gh-pages > /dev/null 2>&1