- Usando Git:
- Para corregir el último mensaje de commit:
git commit --amend
Es recomendable hacer este tipo de correcciones antes de hacer el push, para evitar confusiones. - Para eliminar un branch:
git branch -d branchname
Hay que estar en otro branch. - Al hacer:
git checkout somebranch
Si hay algo no commiteado, git avisa para moverlo o borrarlo y luego reintentar.