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