📅  最后修改于: 2022-03-11 14:48:20.391000             🧑  作者: Mango
git reset --hard
So we must not reset to the commit_id that we don't want.
Then sure, we must push to remote branch:
git push --force