Introducción

En este documento encontrarás todos los comandos útiles (básicos y avanzados) sobre el push de git.

Push rama actual

git push origin $rama_actual

Cambiar rama a la que hacer push por defecto

Imaginemos que estamos en nuestro entorno local de desarollo y queremos cambiar la rama a la que hacemos push por defecto. En el ejemplo, empleamos una rama llamada dev para este cometido.

git push -u origin dev

¿Y si queremos ver los cambios realizados?.

git config -l

Aquí veremos los campos: branch.dev.remote=origin y branch.dev.merge=refs/heads/dev.

Bye bye git push / pull origin dev :-).

Revertir el cambio

git config --unset branch.<nombre-rama>.remote
git config --unset branch.<nombre-rama>.merge