[git] What is `git push origin master`? Help with git's refs, heads and remotes