I think the standard set of GitHub labels are a little too minimal for a project of this size and complexity. However, you could argue that our current set of labels is too large :-) What we're aiming for I think is a balance between intuitiveness and flexibility; in an ideal world those on the Kata rota would be able to quickly categorise a new issue with a small set of labels. That would pay dividends as we'd then be able to "data mine" metrics based on the labels. As we start to use features like GitHub actions more we could potentially auto-add labels (a good example being adding a sizing to a PR ("size/huge" to "size/tiny") which could be auto-derived by the CI based on LOC changed / cyclomatic complexity for example).