結果 : reopen merged pull request github