[解決済み] git push origin HEADとはどういう意味ですか？

質問

を発見しました。 公式ガイド :

git push origin HEAD

現在のブランチをプッシュする便利な方法です。 リモートの同じ名前。

しかし、このコマンドの意味は私にはよくわかりません。なぜこのような効果があるのでしょうか？

答えが見つかっていません( この質問 は問題を扱っているようですが、タイトルが誤解を招きそうです)。

解決方法を教えてください。

HEAD は、現在のブランチの先頭を指しています。 git は、そこからブランチ名を取得することができます。と同じなんですね。

git push origin CURRENT_BRANCH_NAME

を使えば、現在のブランチ名を覚えたり入力したりする必要はありません。また、誤って間違ったリモートブランチにプッシュしてしまうことも防げます。

現在のブランチとは異なるブランチをプッシュしたい場合、このコマンドは機能しません。