#!/bin/bash script/build-docs set -ex pushd docs/_site 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 git@github.com:orchardup/fig.git fi git fetch origin git reset --soft origin/gh-pages echo ".git-gh-pages" > .gitignore git add -u git add . git commit -m "update" || echo "didn't commit" git push origin master:gh-pages popd