diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:06:48 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-17 19:06:48 -0700 |
| commit | 47e0f0c56d4a4d158bbdd592ac7b16553e81a5bc (patch) | |
| tree | f9c3805d337681c5aaacf90e35e85d9b79baddd9 | |
| parent | d990e8f07aee36f68bcd270889d20c2d22b9aa0b (diff) | |
| download | mu-47e0f0c56d4a4d158bbdd592ac7b16553e81a5bc.tar.gz | |
3220 - delete gh-pages branch
| -rwxr-xr-x | update_github_page | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/update_github_page b/update_github_page deleted file mode 100755 index 5573bf4d..00000000 --- a/update_github_page +++ /dev/null @@ -1,11 +0,0 @@ -#!/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 |