Update server after move to gitlab.oeaw.ac.at

Das Eingabefenster sieht dann so aus:

Bitte hier genau diese Befehlszeile eingeben, damit die Artikel mit dem neuen Git Repository synchronisiert werden:

Da es für die Registrierung (s.u.) notwendig sein kann, dass Ihr Euch mit einem Token (statt Passwort) anmelden müsst, erstellt Ihr am besten vorab ein Token.

Dazu geht Ihr auf Eure “Preferences” …

… und anschließend auf der linken Seite auf “Access Tokens”.

Den “Token name” könnt Ihr selbst wählen, es sollte am besten was mit Wiedererkennungswert sein ;-). Die restlichen Einstellungen können einfach so übernommen werden: