GitHub-Classroom
Auf dieser Seite finden Sie Informationen zur Arbeit mit GitHub-Classroom.
Nachträgliche Änderungen an der Aufgabe
Es kann passieren, dass sich ein Fehler in der Aufgabenstellung befindet. In diesem Fall kann mittels GitHub-Classroom nachträglich eine Änderung in alle bereits geklonten Repositories eingespielt werden. In diesem Abschnitt wird beschrieben, wie diese nachträglichen Änderungen in ein bestehendes Repository übernommen werden.
Wechseln Sie im Repository mit der Aufgabe in den Abschnitt Pull Requests
.
Es sollte in diesem Bereich einen Pull Request geben, der GitHub Classroom: Sync Assignment
heißt.
Wählen Sie diesen aus.
Wählen Sie die Option Merge pull request
und anschließend Confirm merge
.
Nun werden die Änderungen, die an der Aufgabenstellung vorgenommen wurden, bei Ihnen im Repository hinzugefügt.
Bevor Sie an Ihrer Aufgabe weiterarbeiten können, müssen Sie den Befehl git pull
ausführen.
Dieser Befehl zieht die Änderungen, die Sie bei GitHub durch das Mergen des Pull Requests vorgenommen haben, in die lokale Kopie des Repositories.