A bad commit is already on a protected branch used by teammates. Which default recovery p…

A bad commit is already on a protected branch used by teammates. Which default recovery preserves shared history?

1. Run `git reset --hard HEAD^` and force-push.
2. Delete and recreate the protected branch.
3. Create and review a `git revert` commit.
4. Expire all reflogs, then recommit the files.