A DevOps engineer pushed a commit to the shared 'main' branch that introduced a broken deployment script. Several teammates have already pulled the branch. The engineer needs to undo the effect of that commit while keeping the branch history safe for everyone who has already synced. Which Git command should be used?