01 | Einführung in GitHub
In dieser Einheit lernen Sie die Oberfläche von GitHub sowie einige zentrale Konzepte von Git und GitHub kennen.
Ziele
- Sie reflektieren Ihre Erwartungen an die Zusammenarbeit und das Konzept des Lernangebots.
- Sie registrieren sich bei GitHub.
- Sie experimentieren mit den Sichtbarkeitseinstellungen Ihres Accounts.
- Sie treten einem Team in einer Organisation bei.
- Sie diskutieren mit anderen Teammitgliedern (Teamdiskussion).
- Sie formulieren Issues in einem Repository und antworten auf die Issues anderer Teammitglieder.
- Sie fügen einem fremden Repository eine neue Datei hinzu (Fork, Pull request).
- Sie erläutern zentrale Konzepte der Oberfläche von GitHub (Pull request, Issue, Fork etc.).
- Sie installieren die Software auf Ihren Rechnern, die im Lernmaterial verwendet wird.
Video: An Introduction to GitHub
In dem folgenden Video erläutere ich den Aufbau der typischen Landingpage eines GitHub-Repositorys sowie zentrale Konzepte der Zusammenarbeit mit Git und GitHub.
Weiterführende Informationen
- Offizielle GitHub-Dokumentation: Collaborating with pull requests
Aufträge
Begriffe und Konzepte
Das Arbeiten mit Git, GitHub und GitLab bringt es mit sich, zahlreiche neue Fachtermini zu lernen, hinter denen sich teilweise komplexe Workflows und Konzepte verbergen. Die folgende Anwendung macht es vielleicht leichter, sich diese “Vokabeln” draufzuschaffen.
Quelldatei fachtermini.h5p zur Nachnutzung und Weiterbearbeitung herunterladen
Issues verfassen und diskutieren
- Verfassen Sie in unserem
veranstaltungsrepository
ein neues Issue, in dem Sie eine mögliche Projektidee beschreiben. Wählen Sie einen aussagekräftigen Titel und eine werbende Beschreibung mit einigen ersten Stichpunkten zu Ihrem Vorhaben. - Suchen Sie sich ein Issue von einem anderen Teammitglied aus. Antworten Sie darauf mit einer Nachfrage, einer Idee, mit anerkennenden Worten oder mit dem Vorschlag, gemeinsam an der Idee zu arbeiten.
Mit Accounteinstellungen experimentieren
- Schauen Sie sich die Settings für Ihren GitHub-Account an. Probieren Sie einige Einstellungen aus, und sehen Sie sich anschließend die Darstellung Ihres Profils an,
- wenn Sie in GitHub angemeldet sind.
- wenn Sie nicht in GitHub angemeldet sind.
- Stellen Sie Fragen, und tauschen Sie sich aus in der Teamdiskussion.
Software installieren
- Installieren Sie die Software, die Sie für dieses Lernmaterial auf Ihren eigenen Rechnern benötigen.
- Sollten Sie dabei Schwierigkeiten haben, machen Sie Screenshots von den Fehlermeldungen. Posten Sie diese in der Teamdiskussion.
Fork und Pull request üben
In der ersten Übung zur Kollaboration auf GitHub geht es um das gemeinsame Entwickeln eines Buchs mit dem Thema “Tierlexikon”. Jede:r soll mindestens ein neues Tier hinzufügen. Neu ist, dass Sie Fork und Pull request manuell anstoßen.
Der Fork
- Wechseln Sie im Browser in das Repository
tierlexikon
. - Klicken Sie oben rechts im Browser auf den Button Fork. Wählen Sie anschließend den Account für den Fork. Dieses ist ein einmaliger Vorgang.
- Analysieren Sie in Ihrer neuen Kopie die Dateien und Ordner, um die Struktur des Repositorys zu verstehen.
- Fügen Sie nun notwendige Ordner und Dateien für weitere Tiere in dieser Struktur hinzu. Sie können beim Anlegen neuer Dateien auch gleich neue Ordner anlegen, indem Sie den Pfad ergänzen:
- Generieren Sie Inhalt in Ihren neuen Dateien, wobei Sie sich an den beiden vorhandenen Dateien
kaninchen.md
undigel.md
orientieren. - Schließen Sie den Vorgang mit einer sinnvollen Commit message ab, und wählen Sie die Optionen, wie in der Abbildung zu sehen:
- Wiederholen Sie die Schritte für weitere Dateien. Ändern Sie vorhandene Dateien in Ihrem Fork, wann immer es nötig ist.
Dateien und Ordner löschen
Damit Sie sorglos experimentieren können, müssen Sie noch wissen, wie Sie Ordner und Dateien löschen können. Die entsprechenden Funktionen verbergen sich hier:
Ordner löschen
Nach Auswahl eines Ordners im Browser, rechts:
Datei löschen
Nach Auswahl einer Datei im Browser, rechts:
Der Pull request
Wenn Sie der Überzeugung sind, dass Ihr Fork “reif” ist für einen Pull request, stoßen Sie diesen manuell an.
- Wechseln Sie in Ihrem Fork auf die Seite Pull requests.
- Starten Sie einen neuen Pull request mit Klick auf New pull request.
- Auf der folgenden Seite können Sie nun sehen (von rechts nach links gelesen), dass Sie von Ihrem Fork in Richtung base repository den “Antrag zum Mergen”, also den Pull request stellen:
- Klicken Sie auf Create pull request.
- Geben Sie auf der folgenden Seite einen sinnvollen Titel ein wie “Add Lurch”. Probieren Sie auch aus, einen Kommentar zu schreiben. Prüfen Sie dann, wo dieser später wieder auftaucht.
- Schließen Sie den Vorgang mit einem erneuten Klick auf Create pull request unterhalb des Formulars ab.
Sie landen anschließend auf der Seite Pull requests des base repositorys.
Pull request aktualisieren
Solange der Pull request noch nicht gemergt wurde, können Sie ihn jederzeit aktualisieren.
- Editieren Sie eine Datei aus dem Pull request in Ihrem Fork.
- Prüfen Sie, ob und wie diese Änderung im base repository zu finden ist!