diff options
| -rwxr-xr-x | website/publish | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/website/publish b/website/publish index d97fd22d..1d8f1551 100755 --- a/website/publish +++ b/website/publish @@ -16,10 +16,17 @@ mkdir -p build/temp || exit cd build/temp || exit git clone -l -n ../.. websitegit || exit cd websitegit || exit -git branch gh-pages origin/gh-pages || exit +BRANCHOK="foo" +git branch gh-pages origin/gh-pages || BRANCHOK="bar" +if [ $BRANCHOK == "bar" ]; then +echo If you get error fatal: Not a valid object name: origin/gh-pages. +echo then run: git branch gh-pages origin/gh-pages +echo first before running this script + exit +fi git checkout gh-pages || exit rm -r * || exit -unzip ../../../dist/website.zip || exit +tar xf ../../../dist/website.tar || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit |