結果 : how to delete merged pull request in github