GIT
Pull
Mit dem pull-Befehl werden Änderungen aus einem entfernten Repository abgeholt und mit dem lokalen Workspace synchronisiert.
Push
Mit dem push-Befehl werden lokale Änderungen in einem zentralen Repository veröffentlicht und hochzuladen.
— Kai Neugebauer 2023/02/05 12:26 → 348
