関連ワード:  git pull origin develop vs git merge develop    git pull from different origin  
結果 : git pull origin develop vs git merge develop