Undo a git merge that has been pushed to the server By JeffPosted on April 7, 2021 Just learned that when you accidentally merge on the wrong branch and push, there is a way to change it. […]