Remove automatic push for the documentation update.

It is better to review the changes before pushing to origin/gh-pages.