So you've just pushed your local branch to a remote branch, but then realized
that one of the commits should not be there, or that there was some unacceptable
typo in it. No problem, you can fix it. But you should do it rather fast before
anyone fetches the bad