We do. [email protected] There is duplication with github, so if it is too noisy you'll need to setup filters.
@purplecabbage risingj.com On Thu, May 21, 2015 at 11:56 AM, Dmitry Blotsky <[email protected]> wrote: > Hey folks, > > Do we have something like a [email protected]<mailto: > [email protected]>? If so, do you think we should, so we don't > keep getting commits and PRs to [email protected]<mailto: > [email protected]>? Or is sending them to dev@ fine? > > Kindly, > Dmitry >
