Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

Protokolle nicht notwendigerweise KIT-intern

Zwinkau requested to merge public-protocols into master

Technisch ist das nicht richtig machbar. In der Praxis sind die Protokolle anderer Gremien meist öffentlich.

Merge request reports