GitHub / How to revert a merged pull request

This is a quick and, so to say, dirty way to revert just merged pull request:

git checkout master
git reset --hard 7a...efDESIRED STATE
git push -f origin master

(if your github remote is named origin - else change the name).

Here's another (and better) tutorial on how to roll back a merged pull request: Reverting a Pull Request on GitHub

No comments:

Post a Comment