From f40c6b407dfb68e71f9994c923455827897962aa Mon Sep 17 00:00:00 2001 From: Greg Hendershott Date: Wed, 24 Oct 2012 20:34:52 -0400 Subject: [PATCH] Add comment to push.sh --- push.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/push.sh b/push.sh index 3dd633b..b3f86d0 100755 --- a/push.sh +++ b/push.sh @@ -1,3 +1,4 @@ +# Simply make gh-pages branch a mirror of master branch. git checkout master && \ git push origin master && \ git checkout gh-pages && \