about summary refs log tree commit diff stats
path: root/update_github_page
blob: 5573bf4d54a420fefd9023bb55bbb318ed3df19b (plain) (blame)
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