Carlos, parabéns pelo texto.

Como complemento, sugiro aos colegas o uso do git push --force-with-lease que é a versão segura do git push --force.

Ele é mais seguro pois primeiro verifica se o branch remoto está exatamente como você espera que esteja (ou seja, se ninguém mais fez push de alterações desde sua última atualização). Se alguém tiver feito alterações que você não tem localmente, o comando falha em vez de sobrescrever essas mudanças.