Hi, Today I filled a JIRA issue to forward them to the commit list. That's solved. They shouldn't appear in the dev list anymore.
On Sun, Mar 22, 2020 at 2:01 PM Schock, Johannes - NIVUS GmbH < johannes.sch...@nivus.com> wrote: > 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 >
