Reverting Pull Request in GitHub | Revert merge commit