Don't push all of the branches when updating documentation

contrib/doc2ghpages

@@ -8,5 +8,5 @@
 git checkout gh-pages
 cp -r docs/.build/html/* .
 git commit . -m "Autogenerated documentation for github."
-git push --all
+git push origin gh-pages
 git checkout master