結果 : github undo merged pull request