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