Dokumentation auf GitHub veröffentlichen
Idee ist es, die Dokumentation auf GitHub zu veröffentlichen, um dann der Community was zu geben und/oder sogar von ihr zu profitieren :)
Anmerkung: wir wollen nicht unsere ganze Commit-History online stellen, weshalb das Repo vorab ein bisschen aufgeräumt werden muss.
Todos:
-
Dieses Repo für die Archivierung vorbereiten -
Repo umbenennen -
Neues Repo mit dem Namen des alten Erstellen -
AlleOffene Issues in das neue Repo schieben -
Altes (umbenanntes) Repo archivierenprivat schalten und irgendwann vllt. archivieren
-
-
Commits löschen -
Neues Repo mit einem initial Commit der Dokumentationsdateien bespielen -
Auto-Fetch auf dem Matrix Server aufs neue Repo setzen -
Synchronisation mit GitHub herstellen
Ergebnis:
- Es existiert ein GitHub-Account: https://github.com/matrix-tu-dresden-de
- Dieser ist leider keine Organisation, weil für das Mirroring von GitLab wird ein Account-Token benötigt. D.h. hätten wir eine Organisation, dann müsste immer noch ein Account existieren, über den das Mirroring läuft..
- Das Passwort müssen wir irgendwo notieren. Initial hat es nur @s3858136--tu-dresden.de
- Ein Access-Token des GitHubs-Accounts wird jetzt im GitLab für das mirroring genutzt.
- Das öffentliche GitHub Dokumentationsrepo ist: https://github.com/matrix-tu-dresden-de/Dokumentation
Todo:
-
Repo auf TWIM bekannt machen