Github way to address @committers/@project-leads/@pmc
Can we have a way for github hosted projects to have @commiters, @project-lead, @pmc groups to ease including all/PLs/PMC in certain discussion looking for their guidance? There is https://github.com/orgs/eclipse-platform/teams/eclipse-platform-project-leads but it's private so people are not aware of it and also can't/don't use it when they need PLs attention.