confusion on "$git fetch" vs. "$git pull"