結果 : how to undo committed and pushed changes in git