結果 : pull vs merge in git