Reverse a git pull request on GitHub or any where really | Hacker News Reader