結果 : github reopen merged pull request