You can see that we have already sent the discussions on the PR to the dev list, and based on the activity of nuttx community, it will soon become noisy. I agree that we could keep the new PR nofitication to dev list, but I do not think we should send the comments to dev list.
Justin Mclean <jus...@classsoftware.com> 于2019年12月22日周日 下午12:43写道： > Hi, > > I'd recommend having new issues sent to dev@ so people can see them > (which I believe is the default and how It’s currently set up). If we find > this gets too noisy then we can think about changing it or creating new > list, but IMO there’s no need to solve an issue we don’t have yet. > > Thanks, > Justin
