結果 : how to see merged pull request in github