結果 : how to undo commit in github after push