結果 : how to revert merged pull request github