Я хотел бы знать, как удалить коммит.
Под delete
я имею в виду, как будто я не делал этот коммит, и когда я делаю push в будущем, мои изменения не будут передаваться в удаленную ветвь.
Я прочитал справку git и думаю, что команда, которую я должен использовать, - git reset --hard HEAD
. Это правильно?