Labels can be applied to issues and merge requests to categorize them.
You can also star a label to make it a priority label.
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
You can also star a label to make it a priority label.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org