git pushはgit push origin HEADが便利です

はじめに

新人プログラマ応援イベントの参加記事です。

表題の件、何番煎じか分かりませんが、自分の周りで割と知らない人も多かったので、
記事にしておこうと思います。

本題

カレントブランチを同名のリモートブランチにpushするときの便利な技です。
pushするとき、以下のようなコマンドを打つかと思います。

$ git push origin {カレントブランチ名}

カレントブランチ名を毎回入力するのは面倒くさいので、

$ git push origin HEAD

HEADを指定すれば楽です。

参考