Git push origin HEAD

Git における リモートリポジトリへのプッシュは Git push origin HEAD でOK

Git push origin <branch_name>

Gitリモートリポジトリへのコミット後のプッシュには Git push origin <branch_name> がよく検索でヒットすると思いますが、

Git push origin HEAD でOKです。

覚えておきたかったので書き付けます。