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

Question

似乎两个人都对我完成了相同的任务。是否存在它们不同的情况？

之间有什么区别：git push origin HEADgit push origin [current-branch-name]

Answer 1

它们的含义完全相同，因为HEAD指向当前分支的尖端。参见this answer for reference。

编辑：

唯一不会产生相同结果的情况是当您处于分离头状态时；但是在那种情况下，您对[current-branch-name]的定义是什么？