What is the difference between git push origin HEAD and git push origin [current-branch-name]?

Question

It looks like both accomplish the same task to me.
Are there cases in which they are different?

What is the difference between:
git push origin HEAD
git push origin [current-branch-name]

My most favorite command `git push -u origin HEAD --force` – Qwerty Jun 25 '21 at 13:58 — Qwerty, Jun 25 '21 at 13:58

score 12 · Accepted Answer · edited Mar 25 '20 at 16:35

12

They mean exactly the same, since HEAD points to the tip of the current branch. See this answer for reference.

EDIT:

The only case in which this would not give the same result is when you are in detached HEAD state; but in that case, what is your definition of [current-branch-name]?

edited Mar 25 '20 at 16:35

binaryfunt

6,401
5
37
59

answered Nov 07 '14 at 11:11

Chris Maes

35,025
12
111
136

What is the difference between git push origin HEAD and git push origin [current-branch-name]?

1 Answers1

EDIT: