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 && \