Documentation: more git push examples