結果 : how to undo a git commit after push