diff --git a/bin/update_github.sh b/bin/update_github.sh index 74c7229871d..fdca908caa0 100755 --- a/bin/update_github.sh +++ b/bin/update_github.sh @@ -5,10 +5,11 @@ git add --all && git commit -m "Updated website" && git push ## Deploy the website to gh-pages cp -r docs ../docs -git checkout --orphan -b gh-pages +git checkout --orphan gh-pages rm -f -r * cp -r ../docs/. . git add --all git commit -m "deploy site" git push -f origin gh-pages:gh-pages +git checkout master git branch -D gh-pages \ No newline at end of file