Informationen zu Git-Kurzbefehlen

Wie Sie bereits wissen, haben die Befehle push und pull Kurzformen. Bei Bedarf kann man die lokalen Branches und die ihnen entsprechenden externen Branches einsehen. Dies geschieht mit Hilfe des Ihnen bereits bekannten Befehls:

terminalgit remote show origin

Als Ergebnis sehen wir die folgende Information:

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