結果 : how to check merged pull request in github