結果 : how to undo git commit after push