clarify that it's `git push origin master`