compose/script/deploy-docs

#!/bin/bash
set -ex

script/build-docs

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:docker/fig.git
fi

git fetch origin
git reset --soft origin/gh-pages

echo ".git-gh-pages" > .gitignore

git add -A .

git commit -m "update" || echo "didn't commit"
git push origin master:gh-pages

popd