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.
As the title says, everything from develop is merged into main (tagged as version 1.0.0).