Labels · 中国科大Git服务

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

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