結果 : how to reopen merged pull request in github