結果 : github undo merge pull request