diff options
Diffstat (limited to 'website/publish')
| -rwxr-xr-x | website/publish | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/website/publish b/website/publish index 45d8a764..1d8f1551 100755 --- a/website/publish +++ b/website/publish @@ -16,7 +16,14 @@ 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 tar xf ../../../dist/website.tar || exit |