結果 : how to delete closed pull request in github