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