Können Lernende die Tests ändern, mit denen sie bewertet werden?

Nein. Verborgene Testdateien erhalten sie nie, und immer wenn ihre Arbeit getestet oder bewertet wird, werden Ihre verborgenen und geschützten Dateien aus der Aufgabe wiederhergestellt. Wer im eigenen Repository einen Test ändert, ändert nur, was dort zu sehen ist.

Brauchen Lernende ein GitHub-Konto?

Nein. Git ist Teil der Plattform, angemeldet mit dem Konto, das sie ohnehin nutzen, und die Repositories liegen auf unseren Servern und nicht bei GitHub.

Kann jemand außerhalb der Einrichtung den Code von Lernenden sehen?

Nein. Jedes Repository ist privat und bleibt privat. Nur die Personen, die sein Eigentümer hinzufügt, können es sehen, und niemand kann den Server durchsuchen, ohne angemeldet zu sein.

Was passiert mit den Repositories, wenn Lernende die Einrichtung verlassen?

Ihre Git-Anmeldung wird abgeschaltet, wenn ihr Konto entfernt oder gesperrt wird, und die Repositories bleiben erhalten, wie sie waren, sodass sie mit dem Konto zurückkommen.

Git-Repositories für alle Lernenden und Lehrkräfte, gehostet für Ihre Einrichtung

Versionsverwaltung gehört zum Informatiklehrplan und zu jeder Programmierstelle, und üblicherweise bringt man sie mit einem GitHub-Konto pro lernender Person bei, das Kinder unter 13 Jahren nicht haben können und das eine Einrichtung den Eltern erklären muss. Hier gibt es nichts, wofür man sich registrieren müsste: Git ist Teil der Plattform, hinter derselben Anmeldung.

Alle Mitarbeitenden und Lernenden einer Einrichtung, die die Plattform nutzt, können Git über die Leiste öffnen, Repositories anlegen, von ihrem eigenen Rechner darauf pushen und sie mit den Personen teilen, die sie auswählen. Es ist das Open-Source-Programm Gitea, von uns auf einem eigenen Server betrieben und nicht auf dem eines Dritten, sodass der Code der Lernenden an niemanden sonst weitergegeben wird.

Wer es hat

Mitarbeitende und Lernende einer Einrichtung. Nicht die Lektionen des öffentlichen Colleges, die jede Person mit einem persönlichen Konto hinzufügen kann, nicht ein Einzelkonto, das allein lernt, und nicht die Administratoren der Website selbst. Eine gesperrte Einrichtung und ein gesperrtes oder zur Löschung vorgemerktes Konto können Git erst wieder öffnen, wenn das aufgehoben ist; ihre Repositories bleiben genau so erhalten, wie sie waren.

Nichts wird von Hand eingerichtet: Das Git-Konto einer Person wird angelegt, wenn sie Git zum ersten Mal öffnet, mit ihrem Namen aus der Plattform. Wird ein Konto hier entfernt, wird sein Git im selben Moment abgeschaltet, und wird es aus den gelöschten Elementen zurückgeholt, wird es wieder eingeschaltet.

Auf Git in der Leiste klicken. Die Git-Seite zeigt, ob Sie Git haben und wie Ihr Git-Benutzername lautet.
Auf „Git öffnen“ klicken. Sie sind mit Ihrem Plattformkonto bei Git angemeldet. Es gibt kein zweites Passwort.
Ein Repository anlegen. Jedes Repository ist privat und bleibt privat: Nur die Personen, die Sie hinzufügen, können es sehen.

Pushen vom eigenen Rechner

Git auf einem Laptop oder einem Rechner im Computerraum spricht per HTTPS mit dem Server, mit einem Zugriffstoken und nie mit einem Passwort. Erstellen Sie eines in Git unter Einstellungen, Anwendungen, geben Sie ihm Zugriff auf Repositories und verwenden Sie es als Passwort, wenn `git push` zum ersten Mal danach fragt. Ihr Git-Benutzername steht auf der Git-Seite.

Ein Token lässt sich auf derselben Seite jederzeit zurückziehen und funktioniert von selbst nicht mehr, wenn Ihr Konto entfernt oder gesperrt wird oder die Einrichtung verlässt.

Ein Push darf bis zu 100 MB groß sein, und Git LFS nimmt Dateien bis zu 100 MB pro Datei auf. SSH gibt es bewusst nicht: HTTPS kommt durch ein Schulnetz, das alles andere blockiert.

Grenzen und wo es gespeichert wird

Jedes Konto darf bis zu 50 Repositories anlegen. Wir sehen uns jedes Konto an, das insgesamt mehr als 1 GB belegt, und sprechen mit der Einrichtung, bevor etwas unternommen wird.

Repositories liegen auf einem Server, den wir selbst betreiben, mit einer Kopie, die jede Nacht erstellt wird. Große Dateien, Bilder und Anhänge werden mit ihnen aufbewahrt.

Programmieraufgaben und Git

Eine Programmieraufgabe kann aus einem Repository geladen werden, wobei ihre Testdateien vor den Lernenden verborgen bleiben, und eine Aufgabe kann jeder lernenden Person ein eigenes privates Repository geben, das sie klonen und in das sie committen und pushen kann. Beides hat eine eigene Seite: „Eine Programmieraufgabe aus einem Git-Repository erstellen“ und „Jeder lernenden Person ein Git-Repository zum Klonen, Committen und Pushen geben“.

Häufige Fragen

Können Lernende die Tests ändern, mit denen sie bewertet werden?: Nein. Verborgene Testdateien erhalten sie nie, und immer wenn ihre Arbeit getestet oder bewertet wird, werden Ihre verborgenen und geschützten Dateien aus der Aufgabe wiederhergestellt. Wer im eigenen Repository einen Test ändert, ändert nur, was dort zu sehen ist.
Brauchen Lernende ein GitHub-Konto?: Nein. Git ist Teil der Plattform, angemeldet mit dem Konto, das sie ohnehin nutzen, und die Repositories liegen auf unseren Servern und nicht bei GitHub.
Kann jemand außerhalb der Einrichtung den Code von Lernenden sehen?: Nein. Jedes Repository ist privat und bleibt privat. Nur die Personen, die sein Eigentümer hinzufügt, können es sehen, und niemand kann den Server durchsuchen, ohne angemeldet zu sein.
Was passiert mit den Repositories, wenn Lernende die Einrichtung verlassen?: Ihre Git-Anmeldung wird abgeschaltet, wenn ihr Konto entfernt oder gesperrt wird, und die Repositories bleiben erhalten, wie sie waren, sodass sie mit dem Konto zurückkommen.