In case you’ve pushed an unwanted commit to GitHub (or any upstream Git repository), you can simply undo it. To do so, move the HEAD to the commit that you want to undo to and then run the following command: git push -f origin HEAD^:master
My name is Mehran Maghoumi. I started CodeFull as a means of keeping track of the interesting issues that I face as well as to help others who face similar issues. My full profile is available on my homepage.