Add comment to push.sh

2012-10-24 20:34:52 -04:00 · 2012-10-24 20:34:52 -04:00 · f40c6b407d
commit f40c6b407d
parent 20163a96c6
1 changed files with 1 additions and 0 deletions
--- 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 && \