diff --git a/build/publish-website.sh b/build/publish-website.sh index 50924e13..44b3ebfd 100755 --- a/build/publish-website.sh +++ b/build/publish-website.sh @@ -12,3 +12,4 @@ git remote add origin "${REMOTE_URL}" git checkout -b gh-pages git add . git commit -m "Publish website" +git push origin gh-pages --force