znalazłem w official guide:Co oznacza git push origin HEAD?
git push origin HEAD
wygodnym sposobem do pchania aktualną gałąź do samej nazwie na pilocie.
Jednak znaczenie polecenia nie jest dla mnie jasne. Dlaczego ma ten efekt?
Nie mogłem znaleźć odpowiedzi (this question wydaje się traktować problem, ale tytuł jest mylący).
Warto wspomnieć, że 'HEAD' jest symbolicznym ref i można je zobaczyć za pomocą' git symbolic-ref HEAD'. – jszakmeister