GIT

Mit dem pull-Befehl werden Änderungen aus einem entfernten Repository abgeholt und mit dem lokalen Workspace synchronisiert.

Mit dem push-Befehl werden lokale Änderungen in einem zentralen Repository veröffentlicht und hochzuladen.