The name of the initial branch for new projects is now "main" instead of "master". Existing projects remain unchanged. More information: https://doku.lrz.de/display/PUBLIC/GitLab

[WIP] further reflection statements were removed

1 job for remove_reflection in 46 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #323804
unit_tests_with_coverage

00:00:46