結果 : how to undo a pushed commit in git