結果 : how to close a pull request in github