結果 : undo merge pull request github