Para corregir la descripción del commit (y otras cosas) se puede usar el comando:
git commit --amend
Aunque si ya habías hecho push
, tienes que hacer un pull
que te va crear un merge
y volver hacer push
, aunque solo cambies la descripción del commit. 😵
¿Quieres ver más aportes, preguntas y respuestas de la comunidad?