結果 : github completely delete pull request