The [email protected] is currently unused. Seems to me it ought to be getting the Github issue mails.
OK if I ask Infra for this to be done? Or maybe someone one the PPMC can do it already?
- Move Github issues to issues@? sebb
The [email protected] is currently unused. Seems to me it ought to be getting the Github issue mails.
OK if I ask Infra for this to be done? Or maybe someone one the PPMC can do it already?