結果 : delete a closed pull request from github