結果 : how do i delete a pull request in github