Informações sobre comandos curtos no Git

Como você já sabe, os comandos push e pull têm formas curtas. Se necessário, você pode verificar os ramos locais e os respectivos ramos externos. Isso é feito usando um comando que você já conhece:

terminalgit remote show origin

Como resultado, veremos a seguinte informação:

textRamal local configurado para 'git pull':
  master mescla com o master remoto
Ref local configurado para 'git push':
  master envia para master