結果 : github reopen a merged pull request