Projektlabor Robotik MINTgrün

Wenn jmd. anderes etwas zu eurem Repository hinzugefügt hat wird euch angezeigt das ein Pull möglich ist. Klickt dazu auf Pull:

Klickt auf OK und der Pull wird ausgeführt, euer lokales Repository ist nun auf dem gleichen Stand wie das auf GitLab!