Rewriting Remote Git History with `reset` and `push --force-with-lease`

Sometimes a commit is pushed to a remote repository by mistake, and the goal is to move the remote...