diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-06 00:52:52 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-06 00:52:52 -0700 |
| commit | 6955b522cd7015934cee5ac43b22a9e9403de506 (patch) | |
| tree | e731b17f1e7d67e5993d1f843479bcf04615de63 /update_github_page | |
| parent | 9c469fea0433e2ef0989bc35db66687719de206c (diff) | |
| download | mu-6955b522cd7015934cee5ac43b22a9e9403de506.tar.gz | |
1285
Diffstat (limited to 'update_github_page')
| -rwxr-xr-x | update_github_page | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_github_page b/update_github_page index 6925354b..4a3dd003 100755 --- a/update_github_page +++ b/update_github_page @@ -4,8 +4,8 @@ # (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 -git push |