From 9c469fea0433e2ef0989bc35db66687719de206c Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 6 May 2015 00:52:27 -0700 Subject: 1284 --- update_github_page | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 update_github_page (limited to 'update_github_page') 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 -- cgit 1.4.1-2-gfad0