Información sobre comandos cortos en Git
Como ya sabes, los comandos push
y pull tienen formas cortas.
Si es necesario, puedes ver
las ramas locales y las
ramas externas correspondientes.
Esto se hace usando el
comando que ya conoces:
git remote show origin
Como resultado, veremos la siguiente información:
Local branch configured for 'git pull':
master merges with remote master
Local ref configured for 'git push':
master pushes to master
Mira la información sobre los comandos
cortos push y pull.
