結果 : delete a closed pull request github