How to undo a git push

2018-05-29 03:17:55

This question already has an answer here:

How to undo the most recent commits in Git? 69 answers

Deleting a remote branch 4 answers

You just delete the remote reference

git push origin :my_branch

or with the current syntax

git push --delete origin mybranch

You'll also have to prune the local tracking branch from the local repo with

git remote prune origin

or as suggested by cupcake in the comments below,

git fetch -p

链接地址: http://www.djcxy.com/p/582.html