update_github_page


1
2
3
4
5
6
7
8
9
10
11

#!/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