Use "git push {remote} master" instead of plain "git push". Also fix doc.