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

Question

在我看来，这两种方式似乎完成了相同的任务。
它们有不同的情况吗？ git push origin HEAD 和 git push origin [current-branch-name] 之间的区别是什么？

- Alexander Suraphel

---

我最喜欢的命令是 git push -u origin HEAD --force。 - Qwerty

Answer 1

它们的意思完全相同，因为HEAD指向当前分支的末端。请参考这个答案。

编辑：

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

- Chris Maes