結果 : how to reopen merged pull request github