結果 : how to revert a git commit after push