From c04fb4f9420c3f4c6f3cb7dbc10b8cc6850bea22 Mon Sep 17 00:00:00 2001 From: Alex Dima Date: Fri, 9 Nov 2018 17:04:10 +0100 Subject: [PATCH] Actually publish --- build/publish-website.sh | 1 + 1 file changed, 1 insertion(+) 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