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:

terminalgit remote show origin

Como resultado, veremos la siguiente información:

textLocal branch configured for 'git pull':
  master merges with remote master
Local ref configured for 'git push':
  master pushes to master