Commitearon pero se arrepintieron (y todavia no subieron nada a ninguna parte)
Para descommitear mantiendo el working tree sin modificar (por si lo necesitan):
git reset HEAD^
Para descartar los cambios del working tree
git checkout HEAD .
Para hacer las dos cosas en un solo comando (descommitear y descartar los cambios del working tree):
git reset --hard HEAD^
Para la proxima, voy a explicar como des-descommitear y como descommitear despues de subir los cambios
