Уже продвинутые изменения, если люди их потянули, - это то, с чем вам придется жить.Если никто не потянул (т.е. вы осознали свою ошибку сразу после нажатия), вы можете изменить свой коммит:
git commit --amend
Убедитесь, что вы не добавляете новые изменения в коммит - не используйте -a
, сначала не используйте git add
.Затем вы можете форсировать толчок, так как это изменение без ускоренной перемотки вперед:
git push -f
Если кто-то уже извлек коммит с неверным именем ... это, вероятно, не испортит его,поскольку объединить его с чем-то, содержащим исходный коммит, должно быть легко;патчи одинаковые.Тем не менее, если этот человек когда-либо вернется к вашему репо, он запустит это слияние - вместе с первоначальным коммитом с одной стороны.Вид поражения цель переименования себя, если вы в конечном итоге с оба имена в репо.(Именно эту проблему я описал в своем комментарии к ответу ОП.)