Marc Ignacio

Marc Ignacio

Rubyist | Software Engineer | Digital Marketer

Reverting Bad Pull Requests in GitHub

less than 1 minute read

Recently, I’ve accidentally merged a bad pull request in GitHub. What I had to do was git revert that merge commit and then work on a new branch that starts with reverting that revert (see Undoing Merges).

If you haven’t been to this kind of situation yet, and you’re using GitHub, then your life will be easier from now on since they’ve released a new nifty feature: the Revert Button.

GitHub's new Revert Button .

It will create a new pull request that will revert the bad merge, skipping the need to do this via command line.

This will be helpful if, by some chance, you’ve accidentally merged an unfinished pull request while reviewing a it from a tablet.

For details, see this GitHub help article.

You May Also Enjoy

Kill All Spring Processes

1 minute read

If you’re an active Rails user in multiple projects like me, you’ll probably would’ve noticed that at some point, you forgot to turn off spring in those proj...

Testing jQuery animations in Jasmine

less than 1 minute read

The simplest, and fastest way is to simply ignore the animations with setting jQuery.fx.off = true and checking for whatever the final result is:

Use HTML/CSS/JS plugins for VueJS files

less than 1 minute read

Often vim plugins and configs activate for a certain filetype, so set your filetype in the current buffer. For example, I want currently want to use html hig...