関連ワード:  git push vs git push origin branch name    git push origin head vs git push origin branch name    difference between git push and git push origin    what does git push origin branch do  
結果 : git push vs git push origin branch name