OK, done. Github issues and PRs now go to issues@
On 22 October 2016 at 09:37, sebb <[email protected]> wrote: > https://issues.apache.org/jira/browse/INFRA-12801 > > On 21 October 2016 at 20:22, Daniel Gruno <[email protected]> wrote: >> On 10/21/2016 09:22 PM, sebb wrote: >>> 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? >>> >> sgtm, probably best to make a ticket so the request is recorded somewhere.
