As per the title, if an incorrect modification is pushed to the remote repository, is there any way to undo the push?
PHP中文网2017-05-02 09:28:27
You should only be able to roll back the version of your local repository and push it again.
習慣沉默2017-05-02 09:28:27
Just roll back to the previous commit id and push again, but there will still be records on the remote end
PHP中文网2017-05-02 09:28:27
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.
ringa_lee2017-05-02 09:28:27
1.Reset first
git reset HEAD^
2. Modify and then commit
3. Force submission again in an evil way. . .
git push --force