Kurzer Befehl pull in Git

In der vorherigen Lektion haben wir den Befehl pull wie folgt verwendet:

terminalgit pull origin master

Dieser Befehl hat eine Kurzform, bei deren Verwendung die Änderungen in den entsprechenden Branch eingefügt werden:

terminalgit pull