title: What is the difference between git push origin and git push origin master
body: <p>Is there any difference in pushing the master branch of a local git repository to the master branch of a remote repository called origin with <code>git push origin master</code>
  or with <code>git push origin</code>?</p>