結果 : github undo a pushed commit