結果 : how to delete a pull request on github