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