From 6955b522cd7015934cee5ac43b22a9e9403de506 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 6 May 2015 00:52:52 -0700 Subject: 1285 --- update_github_page | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'update_github_page') 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 -- cgit 1.4.1-2-gfad0