Я нашел вофициальный гид:

git push origin HEAD

Удобный способ выдвинуть текущую ветку к тому же имени на пульте.

Однако смысл команды мне не понятен. Почему это имеет такой эффект?

Я не смог найти ответ (этот вопрос кажется, лечит проблему, но название вводит в заблуждение).