#!/bin/bash
#
# Github populates http://akkartik.github.io/mu with branch gh-pages
# (More info: https://pages.github.com)
# We keep gh-pages sync'd with master.

git push || exit 1
git checkout gh-pages
git pull . master
git push
git checkout master