関連ワード:  git pull origin develop means    git pull origin dev meaning    what is pull origin in github    git pull from different origin  
結果 : git pull origin develop means