diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-06 00:52:27 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-06 00:52:27 -0700 |
| commit | 9c469fea0433e2ef0989bc35db66687719de206c (patch) | |
| tree | e1a6c482dc131ac8e779169a595fe528b4f7e6d0 /update_github_page | |
| parent | dbab9dd01d22372c1737b0e68f240c5f3d9f6ec3 (diff) | |
| download | mu-9c469fea0433e2ef0989bc35db66687719de206c.tar.gz | |
1284
Diffstat (limited to 'update_github_page')
| -rwxr-xr-x | update_github_page | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/update_github_page b/update_github_page new file mode 100755 index 00000000..6925354b --- /dev/null +++ b/update_github_page @@ -0,0 +1,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 checkout gh-pages +git pull . master +git push +git checkout master +git push |