On Mon, Apr 18, 2016 at 9:55 AM, Cos <[email protected]> wrote: > > That's another reason I don't like GH integration - this stuff doesn't go to > dev@ list
Actually, at least for me -- I think it does. That's kind of the point of GH integration -- all communications on PRs get routed back to dev@$project Thanks, Roman.
