about summary refs log blame commit diff stats
path: root/update_github_page
blob: 4a3dd0036006513b806fbab1f95fadb6920e4e5f (plain) (tree)
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
git checkout gh-pages
git pull . master
git push
git checkout master