結果 : github how to reopen a merged pull request