Labels
Labels can be applied to issues and merge requests to categorize them
You can also star a label to make it a priority label.
Due to excessive server load (and the resulting unavailability), we are making ongoing adjustments to the system. This may cause service interruptions. If you notice any interruptions lasting longer than 30 minutes, please contact admin@informatik.uni-wuerzburg.de