nuttx-testing PR discussions on dev list

[Schock, Johannes - NIVUS GmbH]

Sorry if I missed something.
Is there a reason why nuttx-testing PR discussions on github are being 
forwarded to the dev list?
I think either all PR discussions should be forwarded or none. I would prefer 
none.

Regards, Johannes