labels on GitLab

[Jonas Hahnfeld]

In my opinion, there are currently far too many labels on GitLab. To
avoid the situation getting worse, please do not create new labels out
of thin air for now. Instead we should first contemplate on what we
really need and configure this appropriately. (Adding a label for every
possible warning that could be fixed is not helpful.)

signature.asc
Description: This is a digitally signed message part