Hi Robert, Sorry, I was not clear enough. I was referring to the ones from [email protected] <mailto:[email protected]>, which are essentially the GitHub relayed ones.
Thanks, Radu > On 17 Oct 2018, at 10:37, Robert Munteanu <[email protected]> wrote: > > Hi Radu, > > On Tue, 2018-10-16 at 11:25 +0200, Radu Cotescu wrote: >> Hi, >> >> Before I start creating yet another email filter, do you you think we >> could send the GitHub notifications for PRs and comments to >> [email protected] <mailto:[email protected]>? > > Which ones do you mean? I think we have some from "GitBox < > [email protected]>" and some from <[email protected]> . > > Robert >
