結果 : how to delete a open pull request in github