Я использую удаленный репозиторий git.Пользователь фактически удалил определенный коммит, который он не хотел в истории git (коммит не является последним коммитом).Возможно, они сделали что-то вроде этого:
git reset --hard <sha1-commit-id>
git push origin HEAD --force
Я не на 100 процентов, если эти команды они использовали.Все, что я знаю, это то, что коммита больше нет в удаленном хранилище.У меня есть коммит в моем локальном Git-репозитории.И это не ГОЛОВА (последний коммит).Это похоже на 10 коммитов обратно в выводе git log:
git log
...
commit a5df5
Author:
Date:
This is the commit that I have locally but no longer in remote
Теперь, когда я делаю git push, он снова появляется в удаленном репозитории.Как я могу убедиться, что этот коммит больше не отправляется в удаленный репозиторий?
Я думаю сделать это:
git fetch origin latest_stuff
git reset --hard origin/latest_stuff
Будет ли это гарантировать, что конкретный коммит git пропал с моего локального компьютера