関連ワード:  git pull origin/develop meaning    git pull origin dev meaning    what is pull origin in github    difference between git pull and git pull origin  
結果 : git pull origin/develop meaning