git push origin HEAD和git push origin [current-branch-name]有什么区别？

Question

看起来我们都完成了同样的任务 是否存在不同的情况？

有什么区别：
git push origin HEAD
git push origin [current-branch-name]

Answer 1

他们的意思完全相同，
因为 HEAD 指向当前分支的提示 您可以看到this answer for reference

修改
唯一不会产生相同结果的情况
是你在分离头HEAD ;
但在那种情况下，当然， 您对 [current-branch-name] ？

的定义是什么？