関連ワード:  git discard pushed commit    git revert pushed commit    git undo pushed commit    git remove pushed commit    git delete pushed commit    git undo pushed commit keep changes    git revert pushed commit but keep changes locally    git remove pushed commit from remote    git drop pushed commit    git revert pushed commit keep changes