Hi all, since we are currently working on several infrastructure topics, I would like to start a discussion on whether the component labeling on PRs is actually helping people. To be clear, I am talking about the blue labels like "component=Runtime/metrics" that are added by the omnipresent Robert to each PR on Github. They are currently copied over from Jira.
So: - Does anyone rely on the labels being present on Github in any way? - If no, do you at least notice them and find them helpful, e.g. when browsing open PRs? If it turns out that noone uses this feature anyway, we can drop this mirroring of labels instead of spending time making improvements to it (the labels in Jira would stay, of course). Best, Nico
