結果 : close pull request means in github