[Git] Изменение последнего коммита в удаленном репозитории

Бывает, что закоммитил, пушнул, а потом понял, что этот коммит нужно подредактировать, и очень-очень хочется, чтобы в удаленном репозитории он также изменился (а не шел как новый коммит).

Для этого нужно:

git reset —soft HEAD~1 – «откатываемся» на один коммит назад
git commit -a -m «commit text» – делаем нужные правки и коммитимся
git push -f origin master – отправляем в удаленный репозиторий