結果 : github close pull request without merging