From 35aa7be8b39d8798f5981380745a2130726fc08c Mon Sep 17 00:00:00 2001 From: seabbs Date: Sat, 29 Aug 2020 02:10:05 +0000 Subject: [PATCH] updat master --- bin/update_github.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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