There will be a short technical interruption of the service tomorrow (2022-07-08) morning between 9:30 and 10:00. Sorry for the inconveniences.

Labels can be applied to issues and merge requests to categorize them.

You can also star a label to make it a priority label.