結果 : git merge main vs git pull origin main