fix(build): attempt to fix CI builds

jsfenfen · Sep 12, 2019 · 833ef7e · 833ef7e
1 parent 82cb1cd
commit 833ef7e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/docs.sh b/docs.sh
@@ -22,6 +22,11 @@ git commit -m 'deploy'
 # git push -f [email protected]:<USERNAME>/<USERNAME>.github.io.git master
 
 # if you are deploying to https://<USERNAME>.github.io/<REPO>
-git push -f [email protected]:c0bra/svelma.git master:gh-pages
+if [[ $CI ]]
+then
+  git push -f $GITHUB_USER:$GITHUB_TOKEN@github.com:c0bra/svelma.git master:gh-pages
+else
+  git push -f [email protected]:c0bra/svelma.git master:gh-pages
+fi
 
 cd -