結果 : difference between pull and merge in github