Protokolle nicht notwendigerweise KIT-intern
Technisch ist das nicht richtig machbar. In der Praxis sind die Protokolle anderer Gremien meist öffentlich.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Technisch ist das nicht richtig machbar. In der Praxis sind die Protokolle anderer Gremien meist öffentlich.