結果 : pull vs merge