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