use koodiklinikka.github.io as deployment target

This commit is contained in:
Riku Rouvila
2015-11-25 16:35:46 +02:00
parent ee615717cf
commit 15e3bbb4e5
2 changed files with 3 additions and 3 deletions

View File

@@ -25,4 +25,4 @@ git commit -m "Deploy to GitHub Pages"
# 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}@${GH_REF}" master:gh-pages > /dev/null 2>&1
git push --force --quiet "https://${GH_TOKEN}@${GH_REF}" master > /dev/null 2>&1