what is the difference between :
git push origin HEAD: <name-of-remote-branch>
git push origin CURRENT_BRANCH_NAME
Is CURRENT_BRANCH_NAME the name of my local branch or the remote branch ?
what is the difference between :
git push origin HEAD: <name-of-remote-branch>
git push origin CURRENT_BRANCH_NAME
Is CURRENT_BRANCH_NAME the name of my local branch or the remote branch ?
From
git help push:Then:
i.e.
gitwill interpretgit push origin CURRENT_BRANCH_NAMEasgit push origin CURRENT_BRANCH_NAME:CURRENT_BRANCH_NAME, assuming your git config is relatively standard.