結果 : gitlab pull vs merge