gitのHEADについて

結論

pushするときはgit push origin HEAD
pullするときは git pull origin branch_name

ナンノコッチャ

git push origin HEAD

は良いが

git pull origin HEAD

はだめ。今のブランチの最新をpullすると勘違いしちゃう。
pull origin HEADのorigin HEADが何を指すかは

git branch -a

で確認すること。