We'll be taking GitLab down for maintenance around 22 in the evening on the 15th of September, so this Sunday. Let us know (tt.mpi-cbg.de) if you experience any issues with it after the maintenance period.

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

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