Merge current state of develop (version 1.0.0) into main
As the title says, everything from develop is merged into main (tagged as version 1.0.0).
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Temporally accessible opening hours: 17:00 - 24:00 on 30.Apr, 1.May, and 2.May
As the title says, everything from develop is merged into main (tagged as version 1.0.0).