結果 : github delete a closed pull request