結果 : how to revert merge pull request in github