結果 : how to undo a merged pull request in github