結果 : how to delete a pull request in github