1234567891011121314151617181920212223242526272829 |
- #!/bin/bash
- set -ex
- pushd docs
- export GIT_DIR=.git-gh-pages
- export GIT_WORK_TREE=.
- if [ ! -d "$GIT_DIR" ]; then
- git init
- fi
- if !(git remote | grep origin); then
- git remote add origin [email protected]:orchardup/fig.git
- fi
- cp .gitignore-gh-pages .gitignore
- echo ".git-gh-pages" >> .gitignore
- git add -u
- git add .
- git commit -m "update" || echo "didn't commit"
- git push -f origin master:gh-pages
- rm .gitignore
- popd
|