Why does git pull
get all branches from repository but git pull origin master
doesn't? I discovered it the hard way. Is it the only functional difference between these two commands?
Explanation like this tells me nothing:
git pull
= git fetch origin
+ git merge origin/master
git pull origin master
= git fetch origin master
+ git merge FETCH_HEAD