結果 : git push vs pull vs merge