No！！！strongly opposed, too much mail will cause harassment to most people……..
> On Apr 3, 2020, at 8:29 AM, Jave-Chen <[email protected]> wrote: > > Hi folks, > > > Because we trace issues on GitHub, so could we synchronize > GitHub issue to dev mail list automatically? And then we can > discuss those issues at dev mail list.
