Oops! Did you accidentally force push the wrong commit to a branch on github? Even worse, do none of your coworkers have the old (correct) commit on their machine because that commit was created by github when merging a pull request? Well, you are outta luck as far as the github UI goes; there’s no… post continues