Eliminar el último commit en GIT
Con el siguiente comando podemos deshacer y eliminar el último commit realizado en GIT. git reset –soft HEAD~1
mini-tips
Etiqueta: git
Linux
Colorear diff en git
Cuando estás utilizando git como sistema control de versiones necesitas que cuando haces un diff puedas colorear la sintaxis ya que permite visualizar de mejor forma los cambios. Para conseguir esto en git, debes aplicar…
Software
Pgpooladmin contribuciones
Cuando vi el proyecto me parecio muy interesante. Ya que daba una perpectiva del uso de Pgpool de manera más comprensible y directamente en el navegador. Para poder contribuir el proceso fue bajarme el código…