結果 : is git pull same as git fetch and merge