- GitHub: ist wie Google Drive aber für Code. Es ist ein Ort, an dem Code gespeichert, geteilt, und bearbeitet werden kann.
- Git: GitHub verwendet Git im Hintergrund. Git macht die eigentliche Arbeit, GitHub ist die Webseite, die uns die Arbeit erleichtert.
- GitHub Desktop: ist ein Tool, mit dem wir Git und GitHub bedienen können.
Wichtig: verwendet eure private E-Mail-Adresse und nicht die E-Mail-Adresse der Hochschule, da das Konto sonst bei Verlassen der Hochschule verloren geht! Die Hochschul-E-Mail-Adresse kann später hinzugefügt werden.
Ein GitHub-Konto kann über folgenden Link erstellt werden: github.com/signup. Es sollte ein starkes Passwort gewählt werden um fremde Zugriffe zu verhindern.
- Git herunterladen und installieren.
- GitHub Desktop herunterladen und installieren.
Nach der Installation von GitHub Desktop muss das Programm eingerichtet werden.
-
GitHub Desktop öffnen. Wenn GitHub Desktop zum ersten Mal geöffnet wird, erscheint die Willkommensseite:
-
Auf
Sign in to github.com
klicken und melde mit dem GitHub-Konto anmelden, das zuvor erstellt wurde. -
Falls gewünscht, kann der Name und die E-Mail-Adresse angepasst werden. Diese werden in gewissen Situationen öffentlich angezeigt:
-
GitHub Desktop ist nun eingerichtet und bereit für die Verwendung:
Ein Repository ist ein Ordner, in dem Code gespeichert wird. Wird ein Ordner von Git verwaltet, so nennt man ihn ein Repository.
-
In GitHub Desktop auf
File
->New Repository
klicken. -
Repository auf GitHub "pushen" (hochladen):
-
Repository auf GitHub ansehen (
View on GitHub
): -
Banknachbarn zum Repository einladen:
-
Einladung annehmen (E-Mail):
- Auf den grünen Button
Code
klicken und dann aufOpen with GitHub Desktop
: - Meldung dass GitHub Desktop geöffnet werden soll bestätigen:
- Ordner auswählen, in dem das Repository gespeichert werden soll:
- Ordner mit Editor (z. B. RStudio, PyCharm, Visual Studio Code) öffnen.
- Dateien bearbeiten.
- In GitHub Desktop eine "auf
Commit to main
klicken: - Änderungen auf GitHub "pushen" in dem man auf
Push origin
klickt.
- In GitHub Desktop auf
Fetch origin
klicken. - In GitHub Desktop auf
Pull origin
klicken.
Sollten Konflikte oder andere Probleme mit Git auftreten, ist es am Anfang hilfreich, wenn man sich Hilfe bei den Floor Coaches, Dozenten oder anderen Studys holt.
- Zwei Personen bearbeiten die gleiche Datei.
- Person 1 pusht die Änderungen.
- Person 2 pusht die Änderungen.
- Person 2 erhält eine Fehlermeldung, dass die Änderungen nicht gepusht werden können.
- Person 2 holt die Änderungen von Person 1.
- Person 2 löst die Konflikte.
- Person 2 pusht die Änderungen.