While looking at an issue on the Fedora GitLab, I noticed GitLab has a feature called scoped labels. Our GitLab installation has this sort of ad hoc numbering system to group labels together, which works ok. But the scoped labels look like a more elegant solution that’s designed exactly for this purpose. Should we consider switching?
This feature is not open source, so we can’t use it.
Oh, I didn’t realize that was a premium feature. How unfortunate.