After pushing your local repository to the remote repository in Git, how do you undo it?

Question

As per the title, if an incorrect modification is pushed to the remote repository, is there any way to undo the push?

Answer 1

You should only be able to roll back the version of your local repository and push it again.

Answer 2

Just roll back to the previous commit id and push again, but there will still be records on the remote end

Answer 3

Submit after revert, but there will be two commits in the history record that are useless. A wrong commit, a commit revert this wrong commit

Of course you can also use reset, such as git reset --hard <commit hash>, and then add -f when pushing to force an update. But this operation is very dangerous. If someone else has checked out your wrong commit and you reset it, others will have errors next time they pull or push.

Answer 4

1.Reset first

git reset HEAD^

2. Modify and then commit

3. Force submission again in an evil way. . .

git push --force