A bad change has already been merged into a shared branch. The team wants to undo its effect while preserving an auditable history and avoiding rewriting colleagues' commits. Which operation is generally appropriate?

1. Hard reset the shared branch and force push without coordination
2. Delete all repository branches
3. Rename the commit message only
4. Revert the relevant commit with a new reviewed commit