[git] Git branching: master vs. origin/master vs. remotes/origin/master