forked from Bunteshaus/spielwiese
374 B
374 B
push
Mit pushen bezeichnet man das hochladen von Aenderungen.
Es kann ueberall wo schreibrechte vorhanden sind und
die Historys aka logs der Dateien passen, hingepusht werden.
In der Regel pusht man aber nur zum eigenen repo (was ja auch ein fork sein kann).
git push pusht den aktuellen branch auf die quelle des clones.
pushen braucht es nicht bei lokalen repos.