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
