結果 : github delete closed pull request