Я нашел в официальное руководство:
git push origin HEAD
Удобный способ нажатия текущей ветки на то же имя на пульте дистанционного управления.
Однако смысл команды мне не ясен. Почему у этого эффекта есть?
Я не смог найти ответ (этот вопрос, кажется, относится к проблеме, но заголовок вводит в заблуждение).