git push する時は、HEADを指定すると楽

経緯

毎回git pushする時に今いるブランチ名を指定していた。

git push origin BRANCH_NAME

解決策

BRANCH_NAMEにHEADを指定する。

git push origin HEAD

ちなみに、HEADは小文字でもOK。

引用

Gitのドキュメントでも、push例としてheadを指定する例があるみたいです。

A handy way to push the current branch to the same name on the remote.
https://git-scm.com/docs/git-push#Documentation/git-push.txt-codegitpushoriginHEADcode