Cómo deshacer un commit en Git

No lo tenía claro hasta que vi este vídeo

Publicado por Aunitz Giménez el 29 julio 2017

En este vídeo de tan solo un minuto y medio explican claramente las distintas alternativas para deshacer un commit.