結果 : undo merged pull request github