Comandos útiles de Git.
git commit --amend
git push origin master
git log -p -- <NOMBRE_FICHERO>
git log --name-only