Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
This summary is redundant because the same information is given in the table above. Can it be removed and instead highlight the measurement I clicked on in the summary of the top table?