How do you revert a commit that has already been pushed and made public?