結果 : is git pull same as fetch and merge